Package net.sf.tweety.cli.plugins
Class CliMain
- java.lang.Object
-
- net.sf.tweety.cli.plugins.CliMain
-
public class CliMain extends Object
skeleton of the new main method of this CLI using plugins.- Author:
- Bastian Wolf
-
-
Field Summary
Fields Modifier and Type Field Description static StringARG__CALLED_PLUGINThe argument name for the called pluginstatic StringARG__CALLED_PLUGIN_SHORTThe argument name for the called plugin (short)static StringARG__DEBUG_FLAGThe argument name for debugging outputstatic StringARG__DEBUG_FLAG_SHORTThe argument name for debugging output (short)static StringARG__INPUT_FILESThe argument name for the input file(s)static StringARG__INPUT_FILES_SHORTThe argument name for the input file(s) (short)static StringARG__OUTPUT_FILEThe argument name for the output filestatic StringARG__OUTPUT_FILE_SHORTThe argument name for the output file (short)static StringHELPTEXTstatic StringTWEETY_CLI_DEFAULT_CONFIG
-
Constructor Summary
Constructors Constructor Description CliMain()
-
Method Summary
Modifier and Type Method Description static Map<String,String>configCLI()This method is meant to load the tweety plugin pathes on startupstatic ArrayList<net.sf.tweety.plugin.parameter.CommandParameter>instantiateParameters(net.sf.tweety.plugin.TweetyPlugin tp, ArrayList<ArrayList<String>> inparams)instantiates each given input parameter within the called plugin - if possiblestatic voidmain(String[] args)voidprintConfiguration()This function allows to print the content of the current configuration file.static voidprintHelpText()prints help text if cli is called with parameter "--help" or empty argument arrayvoidsetConfigurationFilePath(String path)voidsetHelptextPath(String path)
-
-
-
Field Detail
-
HELPTEXT
public static final String HELPTEXT
- See Also:
- Constant Field Values
-
TWEETY_CLI_DEFAULT_CONFIG
public static final String TWEETY_CLI_DEFAULT_CONFIG
- See Also:
- Constant Field Values
-
ARG__CALLED_PLUGIN
public static final String ARG__CALLED_PLUGIN
The argument name for the called plugin- See Also:
- Constant Field Values
-
ARG__CALLED_PLUGIN_SHORT
public static final String ARG__CALLED_PLUGIN_SHORT
The argument name for the called plugin (short)- See Also:
- Constant Field Values
-
ARG__INPUT_FILES
public static final String ARG__INPUT_FILES
The argument name for the input file(s)- See Also:
- Constant Field Values
-
ARG__INPUT_FILES_SHORT
public static final String ARG__INPUT_FILES_SHORT
The argument name for the input file(s) (short)- See Also:
- Constant Field Values
-
ARG__OUTPUT_FILE
public static final String ARG__OUTPUT_FILE
The argument name for the output file- See Also:
- Constant Field Values
-
ARG__OUTPUT_FILE_SHORT
public static final String ARG__OUTPUT_FILE_SHORT
The argument name for the output file (short)- See Also:
- Constant Field Values
-
ARG__DEBUG_FLAG
public static final String ARG__DEBUG_FLAG
The argument name for debugging output- See Also:
- Constant Field Values
-
ARG__DEBUG_FLAG_SHORT
public static final String ARG__DEBUG_FLAG_SHORT
The argument name for debugging output (short)- See Also:
- Constant Field Values
-
-
Method Detail
-
printHelpText
public static void printHelpText()
prints help text if cli is called with parameter "--help" or empty argument array
-
configCLI
public static Map<String,String> configCLI() throws org.apache.commons.configuration.ConfigurationException, FileNotFoundException
This method is meant to load the tweety plugin pathes on startup- Returns:
- an object with one or more pluginpathes
- Throws:
org.apache.commons.configuration.ConfigurationException- if there is an issue with the configurationFileNotFoundException- if the file could not be found
-
printConfiguration
public void printConfiguration()
This function allows to print the content of the current configuration file. It consists of pairs of each available plugin an its path.
-
setConfigurationFilePath
public void setConfigurationFilePath(String path)
-
setHelptextPath
public void setHelptextPath(String path)
-
instantiateParameters
public static ArrayList<net.sf.tweety.plugin.parameter.CommandParameter> instantiateParameters(net.sf.tweety.plugin.TweetyPlugin tp, ArrayList<ArrayList<String>> inparams) throws CloneNotSupportedException
instantiates each given input parameter within the called plugin - if possible- Parameters:
tp- the called Tweety-Plugin Implementationinparams- the parameter given as input- Returns:
- an ArrayList of instantiated CommandParameter
- Throws:
CloneNotSupportedException- if the CommandParameter does not implement Cloneable
-
main
public static void main(String[] args)
-
-