org.semanticweb.HermiT.debugger.commands
Class AbstractCommand
java.lang.Object
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 Object
- implements DebuggerCommand
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_debugger
protected final Debugger m_debugger
AbstractCommand
public AbstractCommand(Debugger debugger)
showTextInWindow
protected void showTextInWindow(String string,
String title)
selectConsoleWindow
protected void selectConsoleWindow()
getDLPredicate
protected DLPredicate getDLPredicate(String predicate)
throws Exception
- Throws:
Exception
formatBlockingStatus
protected static 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
Copyright © 2012. All Rights Reserved.