Package org.tweetyproject.cli.plugins

Class CliMain

java.lang.Object
org.tweetyproject.cli.plugins.CliMain
public class CliMain extends Object
skeleton of the new main method of this CLI using plugins.
Author:
Bastian Wolf

  • Field Details

    • HELPTEXT

      public static final String HELPTEXT
      See Also:

    • TWEETY_CLI_DEFAULT_CONFIG

      public static final String TWEETY_CLI_DEFAULT_CONFIG
      See Also:

    • ARG__CALLED_PLUGIN

      public static final String ARG__CALLED_PLUGIN
      The argument name for the called plugin
      See Also:

    • ARG__CALLED_PLUGIN_SHORT

      public static final String ARG__CALLED_PLUGIN_SHORT
      The argument name for the called plugin (short)
      See Also:

    • ARG__INPUT_FILES

      public static final String ARG__INPUT_FILES
      The argument name for the input file(s)
      See Also:

    • ARG__INPUT_FILES_SHORT

      public static final String ARG__INPUT_FILES_SHORT
      The argument name for the input file(s) (short)
      See Also:

    • ARG__OUTPUT_FILE

      public static final String ARG__OUTPUT_FILE
      The argument name for the output file
      See Also:

    • ARG__OUTPUT_FILE_SHORT

      public static final String ARG__OUTPUT_FILE_SHORT
      The argument name for the output file (short)
      See Also:

    • ARG__DEBUG_FLAG

      public static final String ARG__DEBUG_FLAG
      The argument name for debugging output
      See Also:

    • ARG__DEBUG_FLAG_SHORT

      public static final String ARG__DEBUG_FLAG_SHORT
      The argument name for debugging output (short)
      See Also:

  • Constructor Details

    • CliMain

      public CliMain()

  • Method Details

    • 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 configuration
      FileNotFoundException - 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<CommandParameter> instantiateParameters(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)