org.semanticweb.HermiT.cli
Class CommandLine

java.lang.Object
  extended by org.semanticweb.HermiT.cli.CommandLine

public class CommandLine
extends java.lang.Object


Nested Class Summary
protected static interface CommandLine.Action
           
protected static class CommandLine.ClassifyAction
           
protected static class CommandLine.DumpClausesAction
           
protected static class CommandLine.DumpPrefixesAction
           
protected static class CommandLine.EntailsAction
           
protected static class CommandLine.EquivalentsAction
           
protected static class CommandLine.SatisfiabilityAction
           
protected static class CommandLine.StatusOutput
           
protected static class CommandLine.SubsAction
           
protected static class CommandLine.SupersAction
           
protected static class CommandLine.UsageException
           
 
Field Summary
protected static java.lang.String[] footer
           
protected static java.lang.String[] helpHeader
           
protected static java.lang.String kActions
           
protected static java.lang.String kAlgorithm
           
protected static int kBase
           
protected static int kBlockCache
           
protected static int kBlockStrategy
           
protected static int kConclusion
           
protected static int kDefaultPrefix
           
protected static int kDirectBlock
           
protected static int kDumpClauses
           
protected static int kDumpPrefixes
           
protected static int kDumpRoleBox
           
protected static int kExpansion
           
protected static int kIgnoreUnsupportedDatatypes
           
protected static java.lang.String kInternals
           
protected static java.lang.String kMisc
           
protected static int kParser
           
protected static java.lang.String kParsing
           
protected static java.lang.String kPrefixes
           
protected static int kPremise
           
protected static int kTaxonomy
           
protected static int kTime
           
protected static org.semanticweb.HermiT.cli.Option[] options
           
protected static java.lang.String usageString
           
protected static java.lang.String versionString
           
 
Constructor Summary
CommandLine()
           
 
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
 

Field Detail

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
Constructor Detail

CommandLine

public CommandLine()
Method Detail

main

public static void main(java.lang.String[] argv)