Package ru.ispras.microtesk.options
Enum Option
- java.lang.Object
-
- java.lang.Enum<Option>
-
- ru.ispras.microtesk.options.Option
-
-
Enum Constant Summary
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static Option
fromName(java.lang.String name)
java.lang.Object
getDefaultValue()
Option
getDependency()
java.lang.String
getDescription()
java.lang.String
getGroupName()
java.lang.String
getName()
int
getNumArgs()
java.lang.String
getShortName()
java.lang.Class<?>
getValueClass()
boolean
isFlag()
static Option
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.static Option[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
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
-
SIMULATE
public static final Option SIMULATE
-
ADAPT_TRACE
public static final Option ADAPT_TRACE
-
PREDICT_TRACE
public static final Option PREDICT_TRACE
-
LIST_OPERATIONS
public static final Option LIST_OPERATIONS
-
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
-
ENABLE_PATH_CONSTRAINTS
public static final Option ENABLE_PATH_CONSTRAINTS
-
MMU_BUFFER_CONFIG
public static final Option MMU_BUFFER_CONFIG
-
ARCH_DIRS
public static final Option ARCH_DIRS
-
DISABLE_GENERATOR_PLUGINS
public static final Option DISABLE_GENERATOR_PLUGINS
-
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
-
COVERAGE_LOG
public static final Option COVERAGE_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
-
ALIGN_FORMAT2
public static final Option ALIGN_FORMAT2
-
BYTE_ALIGN_FORMAT
public static final Option BYTE_ALIGN_FORMAT
-
BYTE_ALIGN_FORMAT2
public static final Option BYTE_ALIGN_FORMAT2
-
POWER2_ALIGN_FORMAT
public static final Option POWER2_ALIGN_FORMAT
-
POWER2_ALIGN_FORMAT2
public static final Option POWER2_ALIGN_FORMAT2
-
OPTION_FORMAT
public static final Option OPTION_FORMAT
-
GLOBAL_FORMAT
public static final Option GLOBAL_FORMAT
-
WEAK_FORMAT
public static final Option WEAK_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
-
TEMPLATE_SCENARIO_NAME
public static final Option TEMPLATE_SCENARIO_NAME
-
PROGRAM_PATH
public static final Option PROGRAM_PATH
-
FINAL_INSTRUCTION
public static final Option FINAL_INSTRUCTION
-
INSTRUCTION_SIMULATION_LIMIT
public static final Option INSTRUCTION_SIMULATION_LIMIT
-
PROGRAM_COUNTER_NAME
public static final Option PROGRAM_COUNTER_NAME
-
MEMORY_NAME
public static final Option MEMORY_NAME
-
PRELOAD_TARGET
public static final Option PRELOAD_TARGET
-
PRELOAD_SOURCE
public static final Option PRELOAD_SOURCE
-
TRACER_RECORD_TYPE
public static final Option TRACER_RECORD_TYPE
-
TRACE_PATH
public static final Option TRACE_PATH
-
ORACLE_PROGRAM_PATH
public static final Option ORACLE_PROGRAM_PATH
-
RUN_ALL_PROGRAMS
public static final Option RUN_ALL_PROGRAMS
-
-
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 namejava.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 interfaceProperty
-
getValueClass
public java.lang.Class<?> getValueClass()
- Specified by:
getValueClass
in interfaceProperty
-
getDependency
public Option getDependency()
-
getGroupName
public java.lang.String getGroupName()
-
isFlag
public boolean isFlag()
-
getNumArgs
public int getNumArgs()
-
-