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


Method Summary
 void execute(java.lang.String[] args)
           
 java.lang.String getCommandName()
           
 java.lang.String[] getDescription()
           
 void printHelp(java.io.PrintWriter writer)
           
 

Method Detail

getCommandName

java.lang.String getCommandName()

getDescription

java.lang.String[] getDescription()

printHelp

void printHelp(java.io.PrintWriter writer)

execute

void execute(java.lang.String[] args)