org.semanticweb.HermiT.cli
Class CommandLine
java.lang.Object
org.semanticweb.HermiT.cli.CommandLine
public class CommandLine
- extends java.lang.Object
Method Summary |
static void |
main(java.lang.String[] argv)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
kTime
protected static final int kTime
- See Also:
- Constant Field Values
kDumpClauses
protected static final int kDumpClauses
- See Also:
- Constant Field Values
kDumpRoleBox
protected static final int kDumpRoleBox
- See Also:
- Constant Field Values
kDirectBlock
protected static final int kDirectBlock
- See Also:
- Constant Field Values
kBlockStrategy
protected static final int kBlockStrategy
- See Also:
- Constant Field Values
kBlockCache
protected static final int kBlockCache
- See Also:
- Constant Field Values
kExpansion
protected static final int kExpansion
- See Also:
- Constant Field Values
kBase
protected static final int kBase
- See Also:
- Constant Field Values
kParser
protected static final int kParser
- See Also:
- Constant Field Values
kDefaultPrefix
protected static final int kDefaultPrefix
- See Also:
- Constant Field Values
kDumpPrefixes
protected static final int kDumpPrefixes
- See Also:
- Constant Field Values
kTaxonomy
protected static final int kTaxonomy
- See Also:
- Constant Field Values
kIgnoreUnsupportedDatatypes
protected static final int kIgnoreUnsupportedDatatypes
- See Also:
- Constant Field Values
kPremise
protected static final int kPremise
- See Also:
- Constant Field Values
kConclusion
protected static final int kConclusion
- See Also:
- Constant Field Values
versionString
protected static final java.lang.String versionString
usageString
protected static final java.lang.String usageString
- See Also:
- Constant Field Values
helpHeader
protected static final java.lang.String[] helpHeader
footer
protected static final java.lang.String[] footer
kMisc
protected static final java.lang.String kMisc
- See Also:
- Constant Field Values
kActions
protected static final java.lang.String kActions
- See Also:
- Constant Field Values
kParsing
protected static final java.lang.String kParsing
- See Also:
- Constant Field Values
kPrefixes
protected static final java.lang.String kPrefixes
- See Also:
- Constant Field Values
kAlgorithm
protected static final java.lang.String kAlgorithm
- See Also:
- Constant Field Values
kInternals
protected static final java.lang.String kInternals
- See Also:
- Constant Field Values
options
protected static final org.semanticweb.HermiT.cli.Option[] options
CommandLine
public CommandLine()
main
public static void main(java.lang.String[] argv)