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