Package owl.run.modules
Interface OwlModuleParser<M extends OwlModule>
-
- All Known Subinterfaces:
OwlModuleParser.ReaderParser
,OwlModuleParser.TransformerParser
,OwlModuleParser.WriterParser
- All Known Implementing Classes:
LTL2DGRAModule
,LTL2DPAModule
,LTL2DRAModule
,LTL2LDBAModule
,LTL2LDGBAModule
,LTL2NBAModule
,LTL2NGBAModule
,RobustLtlInputReader
public interface OwlModuleParser<M extends OwlModule>
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static interface
OwlModuleParser.ReaderParser
static interface
OwlModuleParser.TransformerParser
static interface
OwlModuleParser.WriterParser
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description default String
getDescription()
String
getKey()
default org.apache.commons.cli.Options
getOptions()
M
parse(org.apache.commons.cli.CommandLine commandLine)
-
-
-
Method Detail
-
getDescription
default String getDescription()
-
getKey
String getKey()
-
getOptions
default org.apache.commons.cli.Options getOptions()
-
parse
M parse(org.apache.commons.cli.CommandLine commandLine) throws org.apache.commons.cli.ParseException
- Throws:
org.apache.commons.cli.ParseException
-
-