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 and Description
static String	ARG__CALLED_PLUGIN The argument name for the called plugin
static String	ARG__CALLED_PLUGIN_SHORT The argument name for the called plugin (short)
static String	ARG__DEBUG_FLAG The argument name for debugging output
static String	ARG__DEBUG_FLAG_SHORT The argument name for debugging output (short)
static String	ARG__INPUT_FILES The argument name for the input file(s)
static String	ARG__INPUT_FILES_SHORT The argument name for the input file(s) (short)
static String	ARG__OUTPUT_FILE The argument name for the output file
static String	ARG__OUTPUT_FILE_SHORT The argument name for the output file (short)
static String	HELPTEXT
static String	TWEETY_CLI_DEFAULT_CONFIG

Constructor Summary

Constructors

Constructor and Description
CliMain()

Method Summary

Modifier and Type	Method and Description
static Map<String,String>	configCLI() This method is meant to load the tweety plugin pathes on startup
static 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 possible
static void	main(String[] args)
void	printConfiguration() This function allows to print the content of the current configuration file.
static void	printHelpText() prints help text if cli is called with parameter "--help" or empty argument array
void	setConfigurationFilePath(String path)
void	setHelptextPath(String path)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

Constructor Detail

CliMain

public CliMain()

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

FileNotFoundException

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)

Parameters:

path -

setHelptextPath

public void setHelptextPath(String path)

Parameters:

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 Implementation

inparams - 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)