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:

AutomataLibSettingsSource, SettingsSource

@MetaInfServices(net.automatalib.common.setting.AutomataLibSettingsSource.class)
public class LearnLibSystemPropertiesAutomataLibSettingsSource
extends AbstractSystemPropertiesSource
implements 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 Details

LearnLibSystemPropertiesAutomataLibSettingsSource

public LearnLibSystemPropertiesAutomataLibSettingsSource()

Method Details

getPriority

public int getPriority()

Specified by:

getPriority in interface SettingsSource

Overrides:

getPriority in class AbstractSystemPropertiesSource