org.semanticweb.HermiT.debugger.commands
Class AbstractCommand

java.lang.Object
  extended by org.semanticweb.HermiT.debugger.commands.AbstractCommand
All Implemented Interfaces:
DebuggerCommand
Direct Known Subclasses:
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 abstract class AbstractCommand
extends java.lang.Object
implements DebuggerCommand


Field Summary
protected  Debugger m_debugger
           
 
Constructor Summary
AbstractCommand(Debugger debugger)
           
 
Method Summary
protected static java.lang.String formatBlockingStatus(Node node)
           
protected  DLPredicate getDLPredicate(java.lang.String predicate)
           
protected  void selectConsoleWindow()
           
protected  void showTextInWindow(java.lang.String string, java.lang.String title)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.semanticweb.HermiT.debugger.commands.DebuggerCommand
execute, getCommandName, getDescription, printHelp
 

Field Detail

m_debugger

protected final Debugger m_debugger
Constructor Detail

AbstractCommand

public AbstractCommand(Debugger debugger)
Method Detail

showTextInWindow

protected void showTextInWindow(java.lang.String string,
                                java.lang.String title)

selectConsoleWindow

protected void selectConsoleWindow()

getDLPredicate

protected DLPredicate getDLPredicate(java.lang.String predicate)
                              throws java.lang.Exception
Throws:
java.lang.Exception

formatBlockingStatus

protected static java.lang.String formatBlockingStatus(Node node)
Parameters:
node - a node in the tableau
Returns:
"no" if node is not blocked; "directly by" plus "signature in cache" or the ID of the blocking node if the node is directly blocked; "indirectly by" plus "signature in cache" or the ID of the blocking node otherwise