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(String[] args)
           
 String getCommandName()
           
 String[] getDescription()
           
 void printHelp(PrintWriter writer)
           
 

Method Detail

getCommandName

String getCommandName()

getDescription

String[] getDescription()

printHelp

void printHelp(PrintWriter writer)

execute

void execute(String[] args)


Copyright © 2012. All Rights Reserved.