Package de.learnlib.setting

Class LearnLibSettings

java.lang.Object

de.learnlib.setting.LearnLibSettings

public final class LearnLibSettings
extends Object

Method Summary

Modifier and Type	Method	Description
boolean	getBool(LearnLibProperty property, boolean defaultValue)
@Nullable Boolean	getBoolean(LearnLibProperty property)
<E extends Enum<E>> @Nullable E	getEnumValue(LearnLibProperty property, Class<E> enumClazz)
<E extends Enum<E>> E	getEnumValue(LearnLibProperty property, Class<E> enumClazz, E defaultValue)
static LearnLibSettings	getInstance()
int	getInt(LearnLibProperty property, int defaultValue)
@Nullable Integer	getInteger(LearnLibProperty property)
@Nullable String	getProperty(LearnLibProperty property)
String	getProperty(LearnLibProperty property, String defaultValue)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getInstance

public static LearnLibSettings getInstance()

getProperty

public String getProperty(LearnLibProperty property,
                          String defaultValue)

getProperty

public @Nullable String getProperty(LearnLibProperty property)

getEnumValue

public <E extends Enum<E>> E getEnumValue(LearnLibProperty property,
                                          Class<E> enumClazz,
                                          E defaultValue)

getEnumValue

public <E extends Enum<E>> @Nullable E getEnumValue(LearnLibProperty property,
                                                    Class<E> enumClazz)

getBool

public boolean getBool(LearnLibProperty property,
                       boolean defaultValue)

getBoolean

public @Nullable Boolean getBoolean(LearnLibProperty property)

getInt

public int getInt(LearnLibProperty property,
                  int defaultValue)

getInteger

public @Nullable Integer getInteger(LearnLibProperty property)