Uses of Class
de.learnlib.setting.LearnLibProperty
-
Packages that use LearnLibProperty Package Description de.learnlib.setting -
-
Uses of LearnLibProperty in de.learnlib.setting
Methods in de.learnlib.setting that return LearnLibProperty Modifier and Type Method Description static LearnLibProperty
LearnLibProperty. valueOf(String name)
Returns the enum constant of this type with the specified name.static LearnLibProperty[]
LearnLibProperty. values()
Returns an array containing the constants of this enum type, in the order they are declared.Methods in de.learnlib.setting with parameters of type LearnLibProperty Modifier and Type Method Description boolean
LearnLibSettings. getBool(LearnLibProperty property, boolean defaultValue)
@Nullable Boolean
LearnLibSettings. getBoolean(LearnLibProperty property)
<E extends Enum<E>>
@Nullable ELearnLibSettings. getEnumValue(LearnLibProperty property, Class<E> enumClazz)
<E extends Enum<E>>
ELearnLibSettings. getEnumValue(LearnLibProperty property, Class<E> enumClazz, E defaultValue)
int
LearnLibSettings. getInt(LearnLibProperty property, int defaultValue)
@Nullable Integer
LearnLibSettings. getInteger(LearnLibProperty property)
@Nullable String
LearnLibSettings. getProperty(LearnLibProperty property)
String
LearnLibSettings. getProperty(LearnLibProperty property, String defaultValue)
-