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

Class JmcAssume

java.lang.Object

org.mpi_sws.jmc.api.util.statements.JmcAssume

public class JmcAssume
extends Object

The JmcAssume class provides a method to assert conditions in the JMC runtime environment. If the condition is false, it throws a HaltTaskException, effectively halting the current task.

Constructor Summary

Constructors

Constructor	Description
JmcAssume()

Method Summary

Modifier and Type	Method	Description
static void	assume(boolean condition)	Assumes that the given condition is true.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

JmcAssume

public JmcAssume()

Method Details

assume

public static void assume(boolean condition)

Assumes that the given condition is true. If the condition is false, it throws a HaltTaskException, halting the current task.

Parameters:

condition - the condition to assume

Throws:

HaltTaskException - if the condition is false