OwlModuleParser.ReaderParser
, OwlModuleParser.TransformerParser
, OwlModuleParser.WriterParser
LTL2DPACliParser
, LTL2DRACliParser
, LTL2LDBACliParser
, RabinizerCliParser
, RabinizerFrequencyMain
public interface OwlModuleParser<M extends OwlModule>
Modifier and Type | Interface | Description |
---|---|---|
static interface |
OwlModuleParser.ReaderParser |
|
static interface |
OwlModuleParser.TransformerParser |
|
static interface |
OwlModuleParser.WriterParser |
Modifier and Type | Method | Description |
---|---|---|
default java.lang.String |
getDescription() |
|
java.lang.String |
getKey() |
|
default org.apache.commons.cli.Options |
getOptions() |
|
M |
parse(org.apache.commons.cli.CommandLine commandLine) |
default java.lang.String getDescription()
java.lang.String getKey()
default org.apache.commons.cli.Options getOptions()
M parse(org.apache.commons.cli.CommandLine commandLine) throws org.apache.commons.cli.ParseException
org.apache.commons.cli.ParseException