Package de.learnlib.setting.sources

Class LearnLibLocalPropertiesSource

java.lang.Object

net.automatalib.common.util.setting.LocalFileSource

de.learnlib.setting.sources.LearnLibLocalPropertiesSource

All Implemented Interfaces:

LearnLibSettingsSource, SettingsSource

@MetaInfServices(LearnLibSettingsSource.class)
public class LearnLibLocalPropertiesSource
extends LocalFileSource
implements LearnLibSettingsSource

Constructor Summary

Constructors

Constructor	Description
LearnLibLocalPropertiesSource()

Method Summary

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

getPriority, loadSettings

Constructor Detail

LearnLibLocalPropertiesSource

public LearnLibLocalPropertiesSource()