Package ru.ispras.microtesk.model
Class Execution
- java.lang.Object
-
- ru.ispras.microtesk.model.Execution
-
public final class Execution extends java.lang.Object
TheExecution
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.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
Execution.InternalVariable
-
Field Summary
Fields Modifier and Type Field Description static java.util.ArrayList<IsaPrimitive>
CALL_STACK
Tracks execution of primitives.static Execution.InternalVariable
float_exception_flags
static Execution.InternalVariable
float_rounding_mode
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method 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()
-
-
-
Field Detail
-
CALL_STACK
public static final java.util.ArrayList<IsaPrimitive> CALL_STACK
Tracks execution of primitives.
-
float_exception_flags
public static final Execution.InternalVariable float_exception_flags
-
float_rounding_mode
public static final Execution.InternalVariable float_rounding_mode
-
-
Method Detail
-
exception
public static void exception(java.lang.String text)
-
trace
public static void trace(java.lang.String format, java.lang.Object... args)
-
unpredicted
public static void unpredicted()
-
undefined
public static void undefined()
-
mark
public static void mark(java.lang.String name)
-
assertion
public static void assertion(boolean condition)
-
assertion
public static void assertion(boolean condition, java.lang.String message)
-
setAssertionsEnabled
public static void setAssertionsEnabled(boolean value)
-
-