Package de.learnlib.setting.sources

Class LearnLibLocalPropertiesAutomataLibSettingsSource

java.lang.Object

net.automatalib.common.util.setting.LocalFileSource

de.learnlib.setting.sources.LearnLibLocalPropertiesAutomataLibSettingsSource

All Implemented Interfaces:

AutomataLibSettingsSource, SettingsSource

@MetaInfServices(net.automatalib.AutomataLibSettingsSource.class)
public class LearnLibLocalPropertiesAutomataLibSettingsSource
extends LocalFileSource
implements AutomataLibSettingsSource

Constructor Summary

Constructors

Constructor	Description
LearnLibLocalPropertiesAutomataLibSettingsSource()

Method Summary

Modifier and Type	Method	Description
int	getPriority()

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

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

LearnLibLocalPropertiesAutomataLibSettingsSource

public LearnLibLocalPropertiesAutomataLibSettingsSource()

Method Detail

getPriority

public int getPriority()

Specified by:

getPriority in interface SettingsSource

Overrides:

getPriority in class LocalFileSource