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