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 interfaceOwlModuleParser.ReaderParserstatic interfaceOwlModuleParser.TransformerParserstatic interfaceOwlModuleParser.WriterParser
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description default StringgetDescription()StringgetKey()default org.apache.commons.cli.OptionsgetOptions()Mparse(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
-
-