Module Simula
Package simula.editor

Class RTOption

java.lang.Object
simula.editor.RTOption
public final class RTOption extends Object
Runtime Options

Link to GitHub: Source File.

Author:
Øystein Myhre Andersen

  • Field Details

    • VERBOSE

      public static boolean VERBOSE
      Runtime Option

    • USE_CONSOLE

      public static boolean USE_CONSOLE
      Runtime Option

    • BLOCK_TRACING

      public static boolean BLOCK_TRACING
      Runtime Option

    • GOTO_TRACING

      public static boolean GOTO_TRACING
      Runtime Option

    • QPS_TRACING

      public static boolean QPS_TRACING
      Runtime Option

    • SML_TRACING

      public static boolean SML_TRACING
      Runtime Option

    • SPORT_SOURCE_FILE

      public static String SPORT_SOURCE_FILE
      Runtime Option

  • Constructor Details

    • RTOption

      private RTOption()
      The default constructor

  • Method Details

    • InitRuntimeOptions

      public static void InitRuntimeOptions()
      Initiate Runtime options with default values.

    • addRTArguments

      public static void addRTArguments(Vector<String> args)
      Add Runtime options to the argument vector.
      Parameters:
      args - the argument vector

    • selectRuntimeOptions

      static void selectRuntimeOptions()
      Editor Utility: Select Runtime Options.

    • checkBox

      private static JCheckBox checkBox(String id)
      Editor Utility: Create a checkBox without tooltips.
      Parameters:
      id - option id
      Returns:
      the resulting check box

    • getOption

      private static boolean getOption(String id)
      Returns the option name 'id'
      Parameters:
      id - option id
      Returns:
      the option name 'id'

    • setOption

      private static void setOption(String id, boolean val)
      Set the option named 'id' to the given value
      Parameters:
      id - option id
      val - new option value