Package de.learnlib.setting
Enum LearnLibProperty
- java.lang.Object
-
- java.lang.Enum<LearnLibProperty>
-
- de.learnlib.setting.LearnLibProperty
-
- All Implemented Interfaces:
Serializable
,Comparable<LearnLibProperty>
public enum LearnLibProperty extends Enum<LearnLibProperty>
An enum of all the system properties currently used by LearnLib.
-
-
Enum Constant Summary
Enum Constants Enum Constant Description PARALLEL_BATCH_SIZE_DYNAMIC
learnlib.parallel.batch_size.dynamic
.PARALLEL_BATCH_SIZE_STATIC
learnlib.parallel.batch_size.static
.PARALLEL_POOL_POLICY
learnlib.parallel.pool_policy
.PARALLEL_POOL_SIZE
learnlib.parallel.pool_size
.
-
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 LearnLibProperty
valueOf(String name)
Returns the enum constant of this type with the specified name.static LearnLibProperty[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
PARALLEL_BATCH_SIZE_DYNAMIC
public static final LearnLibProperty PARALLEL_BATCH_SIZE_DYNAMIC
learnlib.parallel.batch_size.dynamic
.Size of query batches for dynamic parallel oracles.
-
PARALLEL_BATCH_SIZE_STATIC
public static final LearnLibProperty PARALLEL_BATCH_SIZE_STATIC
learnlib.parallel.batch_size.static
.Minimum size of query batches for static parallel oracles.
-
PARALLEL_POOL_POLICY
public static final LearnLibProperty PARALLEL_POOL_POLICY
learnlib.parallel.pool_policy
.Pool policy for threads of parallel oracles.
See de.learnlib.oracle.parallelism.ParallelOracle#PoolPolicy
-
PARALLEL_POOL_SIZE
public static final LearnLibProperty PARALLEL_POOL_SIZE
learnlib.parallel.pool_size
.Size of thread pools for parallel oracles.
-
-
Method Detail
-
values
public static LearnLibProperty[] 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 (LearnLibProperty c : LearnLibProperty.values()) System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static LearnLibProperty 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.
-
-