org.semanticweb.HermiT.debugger.commands
Interface DebuggerCommand
- All Known Implementing Classes:
- AbstractCommand, ActiveNodesCommand, AgainCommand, BreakpointTimeCommand, ClearCommand, ContinueCommand, DerivationTreeCommand, ExitCommand, ForeverCommand, HelpCommand, HistoryCommand, IsAncestorOfCommand, ModelStatsCommand, NodesForCommand, OriginStatsCommand, QueryCommand, ReuseNodeForCommand, ShowDescriptionGraphCommand, ShowDLClausesCommand, ShowExistsCommand, ShowModelCommand, ShowNodeCommand, ShowSubtreeCommand, SingleStepCommand, UnprocessedDisjunctionsCommand, WaitForCommand
public interface DebuggerCommand
getCommandName
java.lang.String getCommandName()
getDescription
java.lang.String[] getDescription()
printHelp
void printHelp(java.io.PrintWriter writer)
execute
void execute(java.lang.String[] args)