Package org.mpi_sws.jmc.api.util.statements

package org.mpi_sws.jmc.api.util.statements

Defines additional statements of the JMC API to be used in JMC tests.

These statements are used to control the flow of execution and to interact with the JMC runtime. For example, they can be used to assume certain conditions.

Related Packages

Package	Description
org.mpi_sws.jmc.api.util	Provides Redefinitions of java.utl classes with plugs to support JMC model checking.
org.mpi_sws.jmc.api.util.concurrent	Redefinitions of classes in the java.util.concurrent package.

Classes

Class	Description
JmcAssume	The JmcAssume class provides a method to assert conditions in the JMC runtime environment.