Package de.learnlib.setting.sources

Class LearnLibPropertiesAutomataLibSettingsSource

java.lang.Object

net.automatalib.common.util.setting.AbstractClassPathFileSource

de.learnlib.setting.sources.LearnLibPropertiesAutomataLibSettingsSource

All Implemented Interfaces:

AutomataLibSettingsSource, SettingsSource

@MetaInfServices(net.automatalib.AutomataLibSettingsSource.class)
public class LearnLibPropertiesAutomataLibSettingsSource
extends AbstractClassPathFileSource
implements AutomataLibSettingsSource

Constructor Summary

Constructors

Constructor	Description
LearnLibPropertiesAutomataLibSettingsSource()

Method Summary

Modifier and Type	Method	Description
int	getPriority()

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

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

LearnLibPropertiesAutomataLibSettingsSource

public LearnLibPropertiesAutomataLibSettingsSource()

Method Detail

getPriority

public int getPriority()

Specified by:

getPriority in interface SettingsSource