de.learnlib.settings

Class LearnLibSettings

java.lang.Object

de.learnlib.settings.LearnLibSettings

public class LearnLibSettings
extends Object

Method Summary

Modifier and Type	Method and Description
boolean	getBool(String propName, boolean defaultValue)
Boolean	getBoolean(String propName)
<E extends Enum<E>> E	getEnumValue(String propName, Class<E> enumClazz)
<E extends Enum<E>> E	getEnumValue(String propName, Class<E> enumClazz, E defaultValue)
static LearnLibSettings	getInstance()
int	getInt(String propName, int defaultValue)
Integer	getInteger(String propName)
String	getProperty(String propName)
String	getProperty(String propName, 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(String propName)

getProperty

public String getProperty(String propName,
                          String defaultValue)

getEnumValue

public <E extends Enum<E>> E getEnumValue(String propName,
                                          Class<E> enumClazz)

getEnumValue

public <E extends Enum<E>> E getEnumValue(String propName,
                                          Class<E> enumClazz,
                                          E defaultValue)

getBool

public boolean getBool(String propName,
                       boolean defaultValue)

getBoolean

public Boolean getBoolean(String propName)

getInt

public int getInt(String propName,
                  int defaultValue)

getInteger

public Integer getInteger(String propName)