Package net.sf.tweety.cli
Class TweetyCli
- java.lang.Object
-
- net.sf.tweety.cli.TweetyCli
-
public class TweetyCli extends java.lang.Object
This 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.String
ARG__INPUT_FILES
The argument name for the input file(s)static java.lang.String
ARG__INPUT_FILES_SHORT
The argument name for the input file(s) (short)static java.lang.String
ARG__INPUT_PARSER
The argument name for the parser(s) used for reading the input file(s)static java.lang.String
ARG__INPUT_PARSER_SHORT
The argument name for the parser(s) used for reading the input file(s) (short)static 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)static 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)static java.lang.String
ARG__LOG_LEVEL
The argument name for the log level (The possible values are described byTweetyConfiguration.LogLevel
, default isTweetyConfiguration.LogLevel.INFO
)static 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)static java.lang.String
ARG__OPTIONS
The argument name for advanced optionsstatic java.lang.String
ARG__OPTIONS_SHORT
The argument name for advanced options (short)static java.lang.String
ARG__OUTPUT_FILE
The argument name for the output filestatic java.lang.String
ARG__OUTPUT_FILE_SHORT
The argument name for the output file (short)static java.lang.String
ARG__OUTPUT_WRITER
The argument name for the writer used for writing the output file.static java.lang.String
ARG__OUTPUT_WRITER_SHORT
The argument name for the writer used for writing the output file (short)static java.lang.String
ARG__QUERY
The argument name for a querystatic java.lang.String
ARG__QUERY_SHORT
The argument name for a queryprivate static java.lang.String[]
inputFiles
The input fileprivate static java.lang.Object[]
inputParser
The parser used for reading the input fileprivate static org.slf4j.Logger
log
Logger.private static java.lang.String
options
Advanced optionsprivate static java.lang.String
outputFile
The output fileprivate static Writer
outputWriter
The writer used for writing the output file.private static java.lang.String
query
The query
-
Constructor Summary
Constructors Constructor Description TweetyCli()
-
Method Summary
Modifier and Type Method Description 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}
-
-
-
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.
-
-