Class LocalFileSource
- java.lang.Object
-
- net.automatalib.common.util.setting.LocalFileSource
-
- All Implemented Interfaces:
SettingsSource
- Direct Known Subclasses:
AutomataLibLocalPropertiesSource
public class LocalFileSource extends Object implements SettingsSource
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
LocalFileSource(File file)
protected
LocalFileSource(String fileName)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
getPriority()
void
loadSettings(Properties properties)
-
-
-
Method Detail
-
loadSettings
public void loadSettings(Properties properties)
- Specified by:
loadSettings
in interfaceSettingsSource
-
getPriority
public int getPriority()
- Specified by:
getPriority
in interfaceSettingsSource
-
-