org.semanticweb.HermiT.debugger

Class Debugger

java.lang.Object

org.semanticweb.HermiT.monitor.TableauMonitorForwarder

org.semanticweb.HermiT.debugger.Debugger

All Implemented Interfaces:

Serializable, TableauMonitor

public class Debugger
extends TableauMonitorForwarder

Debugger

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Debugger.NodeCreationInfo NodeCreationInfo.
static class	Debugger.WaitOption WaitOption.

Field Summary

Fields

Modifier and Type	Field and Description
static Font	s_monospacedFont Monospaced font.

Constructor Summary

Constructors

Constructor and Description
Debugger(Prefixes prefixes, boolean historyOn)

Method Summary

Modifier and Type	Method and Description
boolean	addWaitOption(Debugger.WaitOption option)
void	blockingValidationFinished(int noInvalidlyBlocked)
void	blockingValidationStarted() Blocking validation started.
void	clashDetected() Clash detected.
void	datatypeCheckingStarted() Datatype checking started.
void	existentialExpansionFinished(ExistentialConcept existentialConcept, Node forNode)
void	existentialExpansionStarted(ExistentialConcept existentialConcept, Node forNode)
DebuggerCommand	getCommand(String commandName)
ConsoleTextArea	getConsoleTextArea()
Map<String,DebuggerCommand>	getDebuggerCommands()
DerivationHistory	getDerivationHistory()
String	getLastCommand()
JFrame	getMainFrame()
Debugger.NodeCreationInfo	getNodeCreationInfo(Node node)
PrintWriter	getOutput()
Prefixes	getPrefixes()
Tableau	getTableau()
void	isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription, boolean result)
void	isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)
void	iterationFinished() Iteration finished.
void	iterationStarted() Iteration started.
void	mainLoop() Main loop.
void	mergeStarted(Node mergeFrom, Node mergeInto)
void	nodeCreated(Node node)
void	nodeDestroyed(Node node)
void	processCommandLine(String commandLine)
boolean	removeWaitOption(Debugger.WaitOption option)
void	saturateStarted() Saturate started.
void	setBreakpointTime(int time)
void	setForever(boolean forever)
void	setInMainLoop(boolean inMainLoop)
void	setSinglestep(boolean singlestep)
void	setTableau(Tableau tableau)
void	tableauCleared() Tableau cleared.

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, possibleInstanceIsInstance, possibleInstanceIsNotInstance, processGroundDisjunctionFinished, processGroundDisjunctionStarted, pushBranchingPointFinished, pushBranchingPointStarted, saturateFinished, setForwardingOn, startNextBranchingPointFinished, startNextBranchingPointStarted, tupleRemoved, unknownDatatypeRestrictionDetectionFinished, unknownDatatypeRestrictionDetectionStarted

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

s_monospacedFont

public static final Font s_monospacedFont

Monospaced font.

Constructor Detail

Debugger

public Debugger(Prefixes prefixes,
                boolean historyOn)

Parameters:

prefixes - prefixes

historyOn - historyOn

Method Detail

getDebuggerCommands

public Map<String,DebuggerCommand> getDebuggerCommands()

Returns:

debugger commands

getTableau

public Tableau getTableau()

Returns:

tableau

getOutput

public PrintWriter getOutput()

Returns:

output

getMainFrame

public JFrame getMainFrame()

Returns:

mainframe

getLastCommand

public String getLastCommand()

Returns:

last command

getConsoleTextArea

public ConsoleTextArea getConsoleTextArea()

Returns:

text area

getPrefixes

public Prefixes getPrefixes()

Returns:

prefixes

getDerivationHistory

public DerivationHistory getDerivationHistory()

Returns:

derivation history

getNodeCreationInfo

public Debugger.NodeCreationInfo getNodeCreationInfo(Node node)

Parameters:

node - node

Returns:

creation info

setBreakpointTime

public void setBreakpointTime(int time)

Parameters:

time - time

setInMainLoop

public void setInMainLoop(boolean inMainLoop)

Parameters:

inMainLoop - inMainLoop

setForever

public void setForever(boolean forever)

Parameters:

forever - forever

setSinglestep

public void setSinglestep(boolean singlestep)

Parameters:

singlestep - singlestep

addWaitOption

public boolean addWaitOption(Debugger.WaitOption option)

Parameters:

option - option

Returns:

true if option added

removeWaitOption

public boolean removeWaitOption(Debugger.WaitOption option)

Parameters:

option - option

Returns:

true if option removed

getCommand

public DebuggerCommand getCommand(String commandName)

Parameters:

commandName - commandName

Returns:

debugger command

mainLoop

public void mainLoop()

Main loop.

processCommandLine

public void processCommandLine(String commandLine)

Parameters:

commandLine - commandLine

setTableau

public void setTableau(Tableau tableau)

Specified by:

setTableau in interface TableauMonitor

Overrides:

setTableau in class TableauMonitorForwarder

Parameters:

tableau - tableau

isSatisfiableStarted

public void isSatisfiableStarted(ReasoningTaskDescription reasoningTaskDescription)

Specified by:

isSatisfiableStarted in interface TableauMonitor

Overrides:

isSatisfiableStarted in class TableauMonitorForwarder

Parameters:

reasoningTaskDescription - reasoningTaskDescription

isSatisfiableFinished

public void isSatisfiableFinished(ReasoningTaskDescription reasoningTaskDescription,
                                  boolean result)

Specified by:

isSatisfiableFinished in interface TableauMonitor

Overrides:

isSatisfiableFinished in class TableauMonitorForwarder

Parameters:

reasoningTaskDescription - reasoningTaskDescription

result - result

tableauCleared

public void tableauCleared()

Description copied from interface: TableauMonitor

Tableau cleared.

Specified by:

tableauCleared in interface TableauMonitor

Overrides:

tableauCleared in class TableauMonitorForwarder

saturateStarted

public void saturateStarted()

Description copied from interface: TableauMonitor

Saturate started.

Specified by:

saturateStarted in interface TableauMonitor

Overrides:

saturateStarted in class TableauMonitorForwarder

iterationStarted

public void iterationStarted()

Description copied from interface: TableauMonitor

Iteration started.

Specified by:

iterationStarted in interface TableauMonitor

Overrides:

iterationStarted in class TableauMonitorForwarder

iterationFinished

public void iterationFinished()

Description copied from interface: TableauMonitor

Iteration finished.

Specified by:

iterationFinished in interface TableauMonitor

Overrides:

iterationFinished in class TableauMonitorForwarder

clashDetected

public void clashDetected()

Description copied from interface: TableauMonitor

Clash detected.

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

Parameters:

mergeFrom - mergeFrom

mergeInto - mergeInto

existentialExpansionStarted

public void existentialExpansionStarted(ExistentialConcept existentialConcept,
                                        Node forNode)

Specified by:

existentialExpansionStarted in interface TableauMonitor

Overrides:

existentialExpansionStarted in class TableauMonitorForwarder

Parameters:

existentialConcept - existentialConcept

forNode - forNode

existentialExpansionFinished

public void existentialExpansionFinished(ExistentialConcept existentialConcept,
                                         Node forNode)

Specified by:

existentialExpansionFinished in interface TableauMonitor

Overrides:

existentialExpansionFinished in class TableauMonitorForwarder

Parameters:

existentialConcept - existentialConcept

forNode - forNode

nodeCreated

public void nodeCreated(Node node)

Specified by:

nodeCreated in interface TableauMonitor

Overrides:

nodeCreated in class TableauMonitorForwarder

Parameters:

node - node

nodeDestroyed

public void nodeDestroyed(Node node)

Specified by:

nodeDestroyed in interface TableauMonitor

Overrides:

nodeDestroyed in class TableauMonitorForwarder

Parameters:

node - node

datatypeCheckingStarted

public void datatypeCheckingStarted()

Description copied from interface: TableauMonitor

Datatype checking started.

Specified by:

datatypeCheckingStarted in interface TableauMonitor

Overrides:

datatypeCheckingStarted in class TableauMonitorForwarder

blockingValidationStarted

public void blockingValidationStarted()

Description copied from interface: TableauMonitor

Blocking validation started.

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

Parameters:

noInvalidlyBlocked - noInvalidlyBlocked