Package net.sf.tweety.cli
Class TweetyCli
- java.lang.Object
-
- net.sf.tweety.cli.TweetyCli
-
public class TweetyCli extends java.lang.ObjectThis class implements a simple command line interface for accessing the functionalities provided by the Tweety libraries.- Author:
- Matthias Thimm
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.StringARG__INPUT_FILESThe argument name for the input file(s)static java.lang.StringARG__INPUT_FILES_SHORTThe argument name for the input file(s) (short)static java.lang.StringARG__INPUT_PARSERThe argument name for the parser(s) used for reading the input file(s)static java.lang.StringARG__INPUT_PARSER_SHORTThe argument name for the parser(s) used for reading the input file(s) (short)static java.lang.StringARG__LOG_FILEThe argument name for the file used for logging (if this parameter is not set, logging is performed on the standard output)static java.lang.StringARG__LOG_FILE_SHORTThe argument name for the file used for logging (if this parameter is not set, logging is performed on the standard output) (short)static java.lang.StringARG__LOG_LEVELThe argument name for the log level (The possible values are described byTweetyConfiguration.LogLevel, default isTweetyConfiguration.LogLevel.INFO)static java.lang.StringARG__LOG_LEVEL_SHORTThe argument name for the log level (The possible values are described byTweetyConfiguration.LogLevel, default isTweetyConfiguration.LogLevel.INFO) (short)static java.lang.StringARG__OPTIONSThe argument name for advanced optionsstatic java.lang.StringARG__OPTIONS_SHORTThe argument name for advanced options (short)static java.lang.StringARG__OUTPUT_FILEThe argument name for the output filestatic java.lang.StringARG__OUTPUT_FILE_SHORTThe argument name for the output file (short)static java.lang.StringARG__OUTPUT_WRITERThe argument name for the writer used for writing the output file.static java.lang.StringARG__OUTPUT_WRITER_SHORTThe argument name for the writer used for writing the output file (short)static java.lang.StringARG__QUERYThe argument name for a querystatic java.lang.StringARG__QUERY_SHORTThe argument name for a queryprivate static java.lang.String[]inputFilesThe input fileprivate static java.lang.Object[]inputParserThe parser used for reading the input fileprivate static org.slf4j.LoggerlogLogger.private static java.lang.StringoptionsAdvanced optionsprivate static java.lang.StringoutputFileThe output fileprivate static WriteroutputWriterThe writer used for writing the output file.private static java.lang.StringqueryThe query
-
Constructor Summary
Constructors Constructor Description TweetyCli()
-
Method Summary
Modifier and Type Method Description static voidmain(java.lang.String[] args)Program entry.
Current program call:
- java -jar TweetyCLI.jar --input RPCLKBFILE --parser rpclme --output RPCLPROBFILE --writer X --options [rpcl.semantics=Y,rpcl.inference=Z]
* - java -jar TweetyCLI.jar --input RPCLKBFILE RPCLPROBFILE --parser rpclme X --query=SOMEQUERY --options [rpcl.semantics=Y,rpcl.inference=Z] with X\in{rpclmeProb, rpclmeCondProb}, Y\in {averaging,aggregating}, Z\in{standard,lifted}
-
-
-
Field Detail
-
log
private static org.slf4j.Logger log
Logger.
-
ARG__INPUT_FILES
public static final java.lang.String ARG__INPUT_FILES
The argument name for the input file(s)- See Also:
- Constant Field Values
-
ARG__INPUT_FILES_SHORT
public static final java.lang.String ARG__INPUT_FILES_SHORT
The argument name for the input file(s) (short)- See Also:
- Constant Field Values
-
ARG__INPUT_PARSER
public static final java.lang.String ARG__INPUT_PARSER
The argument name for the parser(s) used for reading the input file(s)- See Also:
- Constant Field Values
-
ARG__INPUT_PARSER_SHORT
public static final java.lang.String ARG__INPUT_PARSER_SHORT
The argument name for the parser(s) used for reading the input file(s) (short)- See Also:
- Constant Field Values
-
ARG__OUTPUT_FILE
public static final java.lang.String ARG__OUTPUT_FILE
The argument name for the output file- See Also:
- Constant Field Values
-
ARG__OUTPUT_FILE_SHORT
public static final java.lang.String ARG__OUTPUT_FILE_SHORT
The argument name for the output file (short)- See Also:
- Constant Field Values
-
ARG__OUTPUT_WRITER
public static final java.lang.String ARG__OUTPUT_WRITER
The argument name for the writer used for writing the output file.- See Also:
- Constant Field Values
-
ARG__OUTPUT_WRITER_SHORT
public static final java.lang.String ARG__OUTPUT_WRITER_SHORT
The argument name for the writer used for writing the output file (short)- See Also:
- Constant Field Values
-
ARG__LOG_LEVEL
public static final java.lang.String ARG__LOG_LEVEL
The argument name for the log level (The possible values are described byTweetyConfiguration.LogLevel, default isTweetyConfiguration.LogLevel.INFO)- See Also:
- Constant Field Values
-
ARG__LOG_LEVEL_SHORT
public static final java.lang.String ARG__LOG_LEVEL_SHORT
The argument name for the log level (The possible values are described byTweetyConfiguration.LogLevel, default isTweetyConfiguration.LogLevel.INFO) (short)- See Also:
- Constant Field Values
-
ARG__LOG_FILE
public static final java.lang.String ARG__LOG_FILE
The argument name for the file used for logging (if this parameter is not set, logging is performed on the standard output)- See Also:
- Constant Field Values
-
ARG__LOG_FILE_SHORT
public static final java.lang.String ARG__LOG_FILE_SHORT
The argument name for the file used for logging (if this parameter is not set, logging is performed on the standard output) (short)- See Also:
- Constant Field Values
-
ARG__OPTIONS
public static final java.lang.String ARG__OPTIONS
The argument name for advanced options- See Also:
- Constant Field Values
-
ARG__OPTIONS_SHORT
public static final java.lang.String ARG__OPTIONS_SHORT
The argument name for advanced options (short)- See Also:
- Constant Field Values
-
ARG__QUERY
public static final java.lang.String ARG__QUERY
The argument name for a query- See Also:
- Constant Field Values
-
ARG__QUERY_SHORT
public static final java.lang.String ARG__QUERY_SHORT
The argument name for a query- See Also:
- Constant Field Values
-
inputFiles
private static java.lang.String[] inputFiles
The input file
-
inputParser
private static java.lang.Object[] inputParser
The parser used for reading the input file
-
outputFile
private static java.lang.String outputFile
The output file
-
outputWriter
private static Writer outputWriter
The writer used for writing the output file.
-
options
private static java.lang.String options
Advanced options
-
query
private static java.lang.String query
The query
-
-
Method Detail
-
main
public static void main(java.lang.String[] args)
Program entry.
Current program call:
- java -jar TweetyCLI.jar --input RPCLKBFILE --parser rpclme --output RPCLPROBFILE --writer X --options [rpcl.semantics=Y,rpcl.inference=Z]
* - java -jar TweetyCLI.jar --input RPCLKBFILE RPCLPROBFILE --parser rpclme X --query=SOMEQUERY --options [rpcl.semantics=Y,rpcl.inference=Z] with X\in{rpclmeProb, rpclmeCondProb}, Y\in {averaging,aggregating}, Z\in{standard,lifted}- Parameters:
args- command line arguments.
-
-