public final class Execution
extends java.lang.Object
Execution
class implements the execution environment.
It provides a set of methods to be used by all kinds of executable models
to control the execution process.Modifier and Type | Class and Description |
---|---|
static class |
Execution.InternalVariable |
Modifier and Type | Field and Description |
---|---|
static Execution.InternalVariable |
float_exception_flags |
static Execution.InternalVariable |
float_rounding_mode |
Modifier and Type | Method and Description |
---|---|
static void |
assertion(boolean condition) |
static void |
assertion(boolean condition,
java.lang.String message) |
static void |
exception(java.lang.String text) |
static void |
mark(java.lang.String name) |
static void |
setAssertionsEnabled(boolean value) |
static void |
trace(java.lang.String format,
java.lang.Object... args) |
static void |
undefined() |
static void |
unpredicted() |
public static final Execution.InternalVariable float_exception_flags
public static final Execution.InternalVariable float_rounding_mode
public static void exception(java.lang.String text)
public static void trace(java.lang.String format, java.lang.Object... args)
public static void unpredicted()
public static void undefined()
public static void mark(java.lang.String name)
public static void assertion(boolean condition)
public static void assertion(boolean condition, java.lang.String message)
public static void setAssertionsEnabled(boolean value)