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 |
exception(java.lang.String text) |
static void |
mark(java.lang.String name) |
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