org.semanticweb.HermiT.debugger
Class Debugger

java.lang.Object
  extended by org.semanticweb.HermiT.monitor.TableauMonitorForwarder
      extended by org.semanticweb.HermiT.debugger.Debugger
All Implemented Interfaces:
java.io.Serializable, TableauMonitor

public class Debugger
extends TableauMonitorForwarder

See Also:
Serialized Form

Nested Class Summary
static class Debugger.NodeCreationInfo
           
static class Debugger.WaitOption
           
 
Field Summary
protected  int m_breakpointTime
           
protected  java.util.Map<java.lang.String,DebuggerCommand> m_commandsByName
           
protected  ConsoleTextArea m_consoleTextArea
           
protected  int m_currentIteration
           
protected  DerivationHistory m_derivationHistory
           
protected  boolean m_forever
           
protected  boolean m_inMainLoop
           
protected  java.io.BufferedReader m_input
           
protected  java.lang.String m_lastCommand
           
protected  ExistentialConcept m_lastExistentialConcept
           
protected  Node m_lastExistentialNode
           
protected  long m_lastStatusMark
           
protected  javax.swing.JFrame m_mainFrame
           
protected  java.util.Map<Node,Debugger.NodeCreationInfo> m_nodeCreationInfos
           
protected  java.io.PrintWriter m_output
           
protected  Prefixes m_prefixes
           
protected  boolean m_singlestep
           
protected  Tableau m_tableau
           
protected  java.util.Set<Debugger.WaitOption> m_waitOptions
           
static java.awt.Font s_monospacedFont
           
 
Fields inherited from class org.semanticweb.HermiT.monitor.TableauMonitorForwarder
m_forwardingOn, m_forwardingTargetMonitor
 
Constructor Summary
Debugger(Prefixes prefixes, boolean historyOn)
           
 
Method Summary
 boolean addWaitOption(Debugger.WaitOption option)
           
 void blockingValidationFinished(int noInvalidlyBlocked)
           
 void blockingValidationStarted()
           
 void clashDetected()
           
 void datatypeCheckingStarted()
           
 void existentialExpansionFinished(ExistentialConcept existentialConcept, Node forNode)
           
 void existentialExpansionStarted(ExistentialConcept existentialConcept, Node forNode)
           
 DebuggerCommand getCommand(java.lang.String commandName)
           
 ConsoleTextArea getConsoleTextArea()
           
 java.util.Map<java.lang.String,DebuggerCommand> getDebuggerCommands()
           
 DerivationHistory getDerivationHistory()
           
 java.lang.String getLastCommand()
           
 javax.swing.JFrame getMainFrame()
           
 Debugger.NodeCreationInfo getNodeCreationInfo(Node node)
           
 java.io.PrintWriter getOutput()
           
 Prefixes getPrefixes()
           
 Tableau getTableau()
           
 void isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
           
 void isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
           
 void iterationFinished()
           
 void iterationStarted()
           
 void mainLoop()
           
 void mergeStarted(Node mergeFrom, Node mergeInto)
           
 void nodeCreated(Node node)
           
 void nodeDestroyed(Node node)
           
protected  java.lang.String[] parse(java.lang.String command)
           
protected  void printState()
           
 void processCommandLine(java.lang.String commandLine)
           
protected  void registerCommand(DebuggerCommand command)
           
protected  void registerCommands()
           
 boolean removeWaitOption(Debugger.WaitOption option)
           
 void saturateStarted()
           
 void setBreakpointTime(int time)
           
 void setForever(boolean forever)
           
 void setInMainLoop(boolean inMainLoop)
           
 void setSinglestep(boolean singlestep)
           
 void setTableau(Tableau tableau)
           
 void tableauCleared()
           
 
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
 

Field Detail

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
Constructor Detail

Debugger

public Debugger(Prefixes prefixes,
                boolean historyOn)
Method Detail

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