org.semanticweb.HermiT.debugger
Class Debugger
java.lang.Object
org.semanticweb.HermiT.monitor.TableauMonitorForwarder
org.semanticweb.HermiT.debugger.Debugger
- All Implemented Interfaces:
- java.io.Serializable, TableauMonitor
public class Debugger
- extends TableauMonitorForwarder
- See Also:
- Serialized Form
Methods inherited from class org.semanticweb.HermiT.monitor.TableauMonitorForwarder |
addFactFinished, addFactStarted, backtrackToFinished, backtrackToStarted, clashDetectionFinished, clashDetectionStarted, datatypeCheckingFinished, datatypeConjunctionCheckingFinished, datatypeConjunctionCheckingStarted, descriptionGraphCheckingFinished, descriptionGraphCheckingStarted, disjunctProcessingFinished, disjunctProcessingStarted, dlClauseMatchedFinished, dlClauseMatchedStarted, existentialSatisfied, groundDisjunctionDerived, groundDisjunctionSatisfied, isForwardingOn, mergeFactFinished, mergeFactStarted, mergeFinished, nodePruned, nominalIntorductionFinished, nominalIntorductionStarted, processGroundDisjunctionFinished, processGroundDisjunctionStarted, pushBranchingPointFinished, pushBranchingPointStarted, saturateFinished, setForwardingOn, startNextBranchingPointFinished, startNextBranchingPointStarted, tupleRemoved, unknownDatatypeRestrictionDetectionFinished, unknownDatatypeRestrictionDetectionStarted |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
s_monospacedFont
public static final java.awt.Font s_monospacedFont
m_commandsByName
protected final java.util.Map<java.lang.String,DebuggerCommand> m_commandsByName
m_prefixes
protected final Prefixes m_prefixes
m_derivationHistory
protected final DerivationHistory m_derivationHistory
m_consoleTextArea
protected final ConsoleTextArea m_consoleTextArea
m_mainFrame
protected final javax.swing.JFrame m_mainFrame
m_output
protected final java.io.PrintWriter m_output
m_input
protected final java.io.BufferedReader m_input
m_waitOptions
protected final java.util.Set<Debugger.WaitOption> m_waitOptions
m_nodeCreationInfos
protected final java.util.Map<Node,Debugger.NodeCreationInfo> m_nodeCreationInfos
m_lastExistentialNode
protected Node m_lastExistentialNode
m_lastExistentialConcept
protected ExistentialConcept m_lastExistentialConcept
m_tableau
protected Tableau m_tableau
m_lastCommand
protected java.lang.String m_lastCommand
m_forever
protected boolean m_forever
m_lastStatusMark
protected long m_lastStatusMark
m_singlestep
protected boolean m_singlestep
m_inMainLoop
protected boolean m_inMainLoop
m_breakpointTime
protected int m_breakpointTime
m_currentIteration
protected int m_currentIteration
Debugger
public Debugger(Prefixes prefixes,
boolean historyOn)
registerCommands
protected void registerCommands()
registerCommand
protected void registerCommand(DebuggerCommand command)
getDebuggerCommands
public java.util.Map<java.lang.String,DebuggerCommand> getDebuggerCommands()
getTableau
public Tableau getTableau()
getOutput
public java.io.PrintWriter getOutput()
getMainFrame
public javax.swing.JFrame getMainFrame()
getLastCommand
public java.lang.String getLastCommand()
getConsoleTextArea
public ConsoleTextArea getConsoleTextArea()
getPrefixes
public Prefixes getPrefixes()
getDerivationHistory
public DerivationHistory getDerivationHistory()
getNodeCreationInfo
public Debugger.NodeCreationInfo getNodeCreationInfo(Node node)
setBreakpointTime
public void setBreakpointTime(int time)
setInMainLoop
public void setInMainLoop(boolean inMainLoop)
setForever
public void setForever(boolean forever)
setSinglestep
public void setSinglestep(boolean singlestep)
addWaitOption
public boolean addWaitOption(Debugger.WaitOption option)
removeWaitOption
public boolean removeWaitOption(Debugger.WaitOption option)
getCommand
public DebuggerCommand getCommand(java.lang.String commandName)
mainLoop
public void mainLoop()
processCommandLine
public void processCommandLine(java.lang.String commandLine)
parse
protected java.lang.String[] parse(java.lang.String command)
printState
protected void printState()
setTableau
public void setTableau(Tableau tableau)
- Specified by:
setTableau
in interface TableauMonitor
- Overrides:
setTableau
in class TableauMonitorForwarder
isSatisfiableStarted
public void isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
- Specified by:
isSatisfiableStarted
in interface TableauMonitor
- Overrides:
isSatisfiableStarted
in class TableauMonitorForwarder
isSatisfiableFinished
public void isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription,
boolean result)
- Specified by:
isSatisfiableFinished
in interface TableauMonitor
- Overrides:
isSatisfiableFinished
in class TableauMonitorForwarder
tableauCleared
public void tableauCleared()
- Specified by:
tableauCleared
in interface TableauMonitor
- Overrides:
tableauCleared
in class TableauMonitorForwarder
saturateStarted
public void saturateStarted()
- Specified by:
saturateStarted
in interface TableauMonitor
- Overrides:
saturateStarted
in class TableauMonitorForwarder
iterationStarted
public void iterationStarted()
- Specified by:
iterationStarted
in interface TableauMonitor
- Overrides:
iterationStarted
in class TableauMonitorForwarder
iterationFinished
public void iterationFinished()
- Specified by:
iterationFinished
in interface TableauMonitor
- Overrides:
iterationFinished
in class TableauMonitorForwarder
clashDetected
public void clashDetected()
- Specified by:
clashDetected
in interface TableauMonitor
- Overrides:
clashDetected
in class TableauMonitorForwarder
mergeStarted
public void mergeStarted(Node mergeFrom,
Node mergeInto)
- Specified by:
mergeStarted
in interface TableauMonitor
- Overrides:
mergeStarted
in class TableauMonitorForwarder
existentialExpansionStarted
public void existentialExpansionStarted(ExistentialConcept existentialConcept,
Node forNode)
- Specified by:
existentialExpansionStarted
in interface TableauMonitor
- Overrides:
existentialExpansionStarted
in class TableauMonitorForwarder
existentialExpansionFinished
public void existentialExpansionFinished(ExistentialConcept existentialConcept,
Node forNode)
- Specified by:
existentialExpansionFinished
in interface TableauMonitor
- Overrides:
existentialExpansionFinished
in class TableauMonitorForwarder
nodeCreated
public void nodeCreated(Node node)
- Specified by:
nodeCreated
in interface TableauMonitor
- Overrides:
nodeCreated
in class TableauMonitorForwarder
nodeDestroyed
public void nodeDestroyed(Node node)
- Specified by:
nodeDestroyed
in interface TableauMonitor
- Overrides:
nodeDestroyed
in class TableauMonitorForwarder
datatypeCheckingStarted
public void datatypeCheckingStarted()
- Specified by:
datatypeCheckingStarted
in interface TableauMonitor
- Overrides:
datatypeCheckingStarted
in class TableauMonitorForwarder
blockingValidationStarted
public void blockingValidationStarted()
- Specified by:
blockingValidationStarted
in interface TableauMonitor
- Overrides:
blockingValidationStarted
in class TableauMonitorForwarder
blockingValidationFinished
public void blockingValidationFinished(int noInvalidlyBlocked)
- Specified by:
blockingValidationFinished
in interface TableauMonitor
- Overrides:
blockingValidationFinished
in class TableauMonitorForwarder