Enum Option

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Comparable<Option>, Property

    public enum Option
    extends java.lang.Enum<Option>
    implements Property
    The Option enumeration describes options.
    • Enum Constant Detail

      • HELP

        public static final Option HELP
      • VERBOSE

        public static final Option VERBOSE
      • OUTPUT_DIR

        public static final Option OUTPUT_DIR
      • REV_ID

        public static final Option REV_ID
      • TRANSLATE

        public static final Option TRANSLATE
      • GENERATE

        public static final Option GENERATE
      • GENERATE_TEMPLATE

        public static final Option GENERATE_TEMPLATE
      • DISASSEMBLE

        public static final Option DISASSEMBLE
      • SYMBOLIC_EXECUTE

        public static final Option SYMBOLIC_EXECUTE
      • TRANSFORM_TRACE

        public static final Option TRANSFORM_TRACE
      • INCLUDE

        public static final Option INCLUDE
      • EXTENSION_DIR

        public static final Option EXTENSION_DIR
      • MODEL_NAME

        public static final Option MODEL_NAME
      • ARCH_DIRS

        public static final Option ARCH_DIRS
      • RANDOM_SEED

        public static final Option RANDOM_SEED
      • SOLVER

        public static final Option SOLVER
      • SOLVER_DEBUG

        public static final Option SOLVER_DEBUG
      • PROGRAM_LENGTH_LIMIT

        public static final Option PROGRAM_LENGTH_LIMIT
      • TRACE_LENGTH_LIMIT

        public static final Option TRACE_LENGTH_LIMIT
      • BRANCH_EXEC_LIMIT

        public static final Option BRANCH_EXEC_LIMIT
      • RATE_LIMIT

        public static final Option RATE_LIMIT
      • FETCH_DECODE_ENABLED

        public static final Option FETCH_DECODE_ENABLED
      • ASSERTS_ENABLED

        public static final Option ASSERTS_ENABLED
      • TRACER_LOG

        public static final Option TRACER_LOG
      • SELF_CHECKS

        public static final Option SELF_CHECKS
      • DEFAULT_TEST_DATA

        public static final Option DEFAULT_TEST_DATA
      • NO_SIMULATION

        public static final Option NO_SIMULATION
      • DEBUG_PRINT

        public static final Option DEBUG_PRINT
      • COMMENTS_ENABLED

        public static final Option COMMENTS_ENABLED
      • COMMENTS_DEBUG

        public static final Option COMMENTS_DEBUG
      • TIME_STATISTICS

        public static final Option TIME_STATISTICS
      • GENERATE_BINARY

        public static final Option GENERATE_BINARY
      • RESERVE_EXPLICIT

        public static final Option RESERVE_EXPLICIT
      • RESERVE_DEPENDENCIES

        public static final Option RESERVE_DEPENDENCIES
      • BINARY_FILE_EXTENSION

        public static final Option BINARY_FILE_EXTENSION
      • BINARY_FILE_BIG_ENDIAN

        public static final Option BINARY_FILE_BIG_ENDIAN
      • CODE_FILE_EXTENSION

        public static final Option CODE_FILE_EXTENSION
      • CODE_FILE_PREFIX

        public static final Option CODE_FILE_PREFIX
      • DATA_FILE_EXTENSION

        public static final Option DATA_FILE_EXTENSION
      • DATA_FILE_PREFIX

        public static final Option DATA_FILE_PREFIX
      • EXCEPT_FILE_PREFIX

        public static final Option EXCEPT_FILE_PREFIX
      • INDENT_TOKEN

        public static final Option INDENT_TOKEN
      • COMMENT_TOKEN

        public static final Option COMMENT_TOKEN
      • COMMENT_TOKEN_START

        public static final Option COMMENT_TOKEN_START
      • COMMENT_TOKEN_END

        public static final Option COMMENT_TOKEN_END
      • SEPARATOR_TOKEN

        public static final Option SEPARATOR_TOKEN
      • ORIGIN_FORMAT

        public static final Option ORIGIN_FORMAT
      • ALIGN_FORMAT

        public static final Option ALIGN_FORMAT
      • TEXT_SECTION_KEYWORD

        public static final Option TEXT_SECTION_KEYWORD
      • DATA_SECTION_KEYWORD

        public static final Option DATA_SECTION_KEYWORD
      • INSTANCE_NUMBER

        public static final Option INSTANCE_NUMBER
      • JRUBY_THREAD_POOL_MAX

        public static final Option JRUBY_THREAD_POOL_MAX
      • BASE_TEMPLATE_NAME

        public static final Option BASE_TEMPLATE_NAME
      • BASE_TEMPLATE_PATH

        public static final Option BASE_TEMPLATE_PATH
      • IGNORED_INSTRUCTIONS

        public static final Option IGNORED_INSTRUCTIONS
    • Method Detail

      • values

        public static Option[] values()
        Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
        for (Option c : Option.values())
            System.out.println(c);
        
        Returns:
        an array containing the constants of this enum type, in the order they are declared
      • valueOf

        public static Option valueOf​(java.lang.String name)
        Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
        Parameters:
        name - the name of the enum constant to be returned.
        Returns:
        the enum constant with the specified name
        Throws:
        java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
        java.lang.NullPointerException - if the argument is null
      • fromName

        public static Option fromName​(java.lang.String name)
      • getName

        public java.lang.String getName()
      • getShortName

        public java.lang.String getShortName()
      • getDescription

        public java.lang.String getDescription()
      • getDefaultValue

        public java.lang.Object getDefaultValue()
        Specified by:
        getDefaultValue in interface Property
      • getValueClass

        public java.lang.Class<?> getValueClass()
        Specified by:
        getValueClass in interface Property
      • getDependency

        public Option getDependency()
      • getGroupName

        public java.lang.String getGroupName()
      • isFlag

        public boolean isFlag()