Module de.learnlib.setting

Package de.learnlib.setting.sources

Class LearnLibSystemPropertiesAutomataLibSettingsSource

java.lang.Object

net.automatalib.common.util.setting.AbstractSystemPropertiesSource

de.learnlib.setting.sources.LearnLibSystemPropertiesAutomataLibSettingsSource

All Implemented Interfaces:

net.automatalib.common.setting.AutomataLibSettingsSource, net.automatalib.common.util.setting.SettingsSource

@MetaInfServices(net.automatalib.common.setting.AutomataLibSettingsSource.class)
public class LearnLibSystemPropertiesAutomataLibSettingsSource
extends net.automatalib.common.util.setting.AbstractSystemPropertiesSource
implements net.automatalib.common.setting.AutomataLibSettingsSource

Constructor Summary

Constructors

Constructor	Description
LearnLibSystemPropertiesAutomataLibSettingsSource()

Method Summary

Modifier and Type	Method	Description
int	getPriority()

Methods inherited from class net.automatalib.common.util.setting.AbstractSystemPropertiesSource

loadSettings

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.common.util.setting.SettingsSource

loadSettings

Constructor Detail

LearnLibSystemPropertiesAutomataLibSettingsSource

public LearnLibSystemPropertiesAutomataLibSettingsSource()

Method Detail

getPriority

public int getPriority()

Specified by:

getPriority in interface net.automatalib.common.util.setting.SettingsSource

Overrides:

getPriority in class net.automatalib.common.util.setting.AbstractSystemPropertiesSource