Class Execution


  • public final class Execution
    extends java.lang.Object
    The 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.
    • 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)