public class ConfigHandler extends Object
| Modifier and Type | Method and Description |
|---|---|
List<Tool> |
getAllToolsOfAnyKind() |
Config |
getConfig() |
Config |
getConfig(boolean reload) |
File |
getConfigFile() |
Tool |
getConverterByName(String name) |
Tool |
getConverterByName(String name,
String version) |
static ConfigHandler |
getInstance() |
int |
getMaxConfiguredPriority() |
Tool |
getOperatorByName(String name) |
Tool |
getOperatorByName(String name,
String version) |
Tool |
getPreprocessorByName(String name) |
Tool |
getPreprocessorByName(String name,
String version) |
Tool |
getToolByName(String name) |
Tool |
getToolByName(String name,
String version) |
void |
offerConfigWizard(javafx.stage.Stage stage) |
static Config |
parseXML(File configFile) |
static Config |
parseXML(String configString) |
void |
setConfig(File config) |
String |
toString() |
static String |
toXML(Config config) |
public static ConfigHandler getInstance()
public Config getConfig()
public Config getConfig(boolean reload)
public void offerConfigWizard(javafx.stage.Stage stage)
public void setConfig(File config)
public File getConfigFile()
public int getMaxConfiguredPriority()
Copyright © 2019. All rights reserved.