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 | 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() |