Package owl.ltl.robust
Class RobustLtlInputReader
- java.lang.Object
-
- owl.ltl.robust.RobustLtlInputReader
-
- All Implemented Interfaces:
OwlModuleParser<InputReader>
,OwlModuleParser.ReaderParser
public final class RobustLtlInputReader extends Object implements OwlModuleParser.ReaderParser
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface owl.run.modules.OwlModuleParser
OwlModuleParser.ReaderParser, OwlModuleParser.TransformerParser, OwlModuleParser.WriterParser
-
-
Field Summary
Fields Modifier and Type Field Description static RobustLtlInputReader
INSTANCE
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description String
getDescription()
String
getKey()
org.apache.commons.cli.Options
getOptions()
InputReader
parse(org.apache.commons.cli.CommandLine commandLine)
-
-
-
Field Detail
-
INSTANCE
public static final RobustLtlInputReader INSTANCE
-
-
Method Detail
-
getKey
public String getKey()
- Specified by:
getKey
in interfaceOwlModuleParser<InputReader>
-
getOptions
public org.apache.commons.cli.Options getOptions()
- Specified by:
getOptions
in interfaceOwlModuleParser<InputReader>
-
getDescription
public String getDescription()
- Specified by:
getDescription
in interfaceOwlModuleParser<InputReader>
-
parse
public InputReader parse(org.apache.commons.cli.CommandLine commandLine) throws org.apache.commons.cli.ParseException
- Specified by:
parse
in interfaceOwlModuleParser<InputReader>
- Throws:
org.apache.commons.cli.ParseException
-
-