de.learnlib.setting.sources

Class LearnLibLocalPropertiesAutomataLibSettingsSource

java.lang.Object

net.automatalib.commons.util.settings.LocalFileSource

de.learnlib.setting.sources.LearnLibLocalPropertiesAutomataLibSettingsSource

All Implemented Interfaces:

AutomataLibSettingsSource, SettingsSource

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

Constructor Summary

Constructors

Constructor and Description
LearnLibLocalPropertiesAutomataLibSettingsSource()

Method Summary

Modifier and Type	Method and Description
int	getPriority()

Methods inherited from class net.automatalib.commons.util.settings.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.commons.util.settings.SettingsSource

loadSettings, readSettings, readSettings

Constructor Detail

LearnLibLocalPropertiesAutomataLibSettingsSource

public LearnLibLocalPropertiesAutomataLibSettingsSource()

Method Detail

getPriority

public int getPriority()

Specified by:

getPriority in interface SettingsSource

Overrides:

getPriority in class LocalFileSource