de.learnlib.setting.sources

Class LearnLibLocalPropertiesSource

java.lang.Object

net.automatalib.commons.util.settings.LocalFileSource

de.learnlib.setting.sources.LearnLibLocalPropertiesSource

All Implemented Interfaces:

LearnLibSettingsSource, SettingsSource

@MetaInfServices(value=de.learnlib.api.setting.LearnLibSettingsSource.class)
public class LearnLibLocalPropertiesSource
extends LocalFileSource
implements LearnLibSettingsSource

Constructor Summary

Constructors

Constructor and Description
LearnLibLocalPropertiesSource()

Method Summary

Methods inherited from class net.automatalib.commons.util.settings.LocalFileSource

getPriority, 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

getPriority, loadSettings, readSettings, readSettings

Constructor Detail

LearnLibLocalPropertiesSource

public LearnLibLocalPropertiesSource()