Module de.learnlib.setting

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

getInt

public int getInt(LearnLibProperty property,
                  int defaultValue)

getInteger

public @Nullable Integer getInteger(LearnLibProperty property)