Package net.automatalib
Enum AutomataLibProperty
- java.lang.Object
-
- java.lang.Enum<AutomataLibProperty>
-
- net.automatalib.AutomataLibProperty
-
- All Implemented Interfaces:
Serializable
,Comparable<AutomataLibProperty>
public enum AutomataLibProperty extends Enum<AutomataLibProperty>
An enum of all the system properties currently used by AutomataLib.
-
-
Enum Constant Summary
Enum Constants Enum Constant Description DOT_EXE_DIR
automatalib.dot.exe.dir
.DOT_EXE_NAME
automatalib.dot.exe.name
.LTSMIN_PATH
automatalib.ltsmin.path
.LTSMIN_VERBOSE
ltsmin.verbose
.VISUALIZATION_PROVIDER
automatalib.visualization.provider
.WORD_DELIM_LEFT
automatalib.word.delim.left
.WORD_DELIM_RIGHT
automatalib.word.delim.right
.WORD_EMPTY_REP
automatalib.word.empty
.WORD_SYMBOL_DELIM_LEFT
automatalib.word.symbol.delim.left
.WORD_SYMBOL_DELIM_RIGHT
automatalib.word.symbol.delim.right
.WORD_SYMBOL_SEPARATOR
automatalib.word.symbol.separator
.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description String
getPropertyKey()
Returns the actual system property key of the property.static AutomataLibProperty
valueOf(String name)
Returns the enum constant of this type with the specified name.static AutomataLibProperty[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
DOT_EXE_DIR
public static final AutomataLibProperty DOT_EXE_DIR
automatalib.dot.exe.dir
.The path to the dot installation directory.
-
DOT_EXE_NAME
public static final AutomataLibProperty DOT_EXE_NAME
automatalib.dot.exe.name
.The name of the DOT executable.
-
LTSMIN_PATH
public static final AutomataLibProperty LTSMIN_PATH
automatalib.ltsmin.path
.Path to the binary folder of the LTSmin installation.
-
LTSMIN_VERBOSE
public static final AutomataLibProperty LTSMIN_VERBOSE
ltsmin.verbose
.Whether to make LTSmin's output more verbose.
If set to anything else but "false", LTSmin's output will be more verbose.
-
VISUALIZATION_PROVIDER
public static final AutomataLibProperty VISUALIZATION_PROVIDER
automatalib.visualization.provider
.Property for setting the implementation of the visualization provider. The implementation must be available on the classpath.
-
WORD_DELIM_LEFT
public static final AutomataLibProperty WORD_DELIM_LEFT
automatalib.word.delim.left
.When printing words, the left delimiter for a word.
-
WORD_DELIM_RIGHT
public static final AutomataLibProperty WORD_DELIM_RIGHT
automatalib.word.delim.right
.When printing words, the right delimiter for a word.
-
WORD_EMPTY_REP
public static final AutomataLibProperty WORD_EMPTY_REP
automatalib.word.empty
.When printing words, the representative for the empty word.
-
WORD_SYMBOL_DELIM_LEFT
public static final AutomataLibProperty WORD_SYMBOL_DELIM_LEFT
automatalib.word.symbol.delim.left
.When printing words, the left delimiter of a symbol.
-
WORD_SYMBOL_DELIM_RIGHT
public static final AutomataLibProperty WORD_SYMBOL_DELIM_RIGHT
automatalib.word.symbol.delim.right
.When printing words, the left delimiter of a symbol.
-
WORD_SYMBOL_SEPARATOR
public static final AutomataLibProperty WORD_SYMBOL_SEPARATOR
automatalib.word.symbol.separator
.When printing words, the separator in between symbols.
-
-
Method Detail
-
values
public static AutomataLibProperty[] 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 (AutomataLibProperty c : AutomataLibProperty.values()) System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static AutomataLibProperty valueOf(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:
IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is null
-
getPropertyKey
public String getPropertyKey()
Returns the actual system property key of the property.- Returns:
- the system property key of the property.
-
-