public class SimpleDot extends ListenerAdapter
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
app |
protected java.lang.String |
backtrackEdgeAttrs |
protected java.lang.String |
endNodeAttrs |
protected java.lang.String |
errorNodeAttrs |
protected java.io.File |
file |
protected java.lang.String |
genericEdgeAttrs |
protected java.lang.String |
genericNodeAttrs |
protected java.lang.String |
graphAttrs |
protected ElementInfo |
lastEi |
protected java.lang.String |
lastErrorId |
protected int |
lastId |
protected ThreadInfo |
lastTi |
protected java.lang.String |
newEdgeAttrs |
protected boolean |
printFile |
protected java.io.PrintWriter |
pw |
protected java.lang.String |
restoreEdgeAttrs |
protected boolean |
showTarget |
protected java.lang.String |
startNodeAttrs |
protected java.lang.String |
visitedEdgeAttrs |
protected VM |
vm |
Modifier and Type | Method and Description |
---|---|
protected static java.lang.String |
getClassObjectRef(int ref) |
protected java.lang.String |
getError(Search search) |
protected java.lang.String |
getFieldAccessCG(JVMFieldInstruction insn) |
protected static java.lang.String |
getInstanceRef(int ref) |
protected java.lang.String |
getInvokeCG(JVMInvokeInstruction insn) |
protected java.lang.String |
getLastChoice() |
protected java.lang.String |
getLockCG(LockInstruction insn) |
protected java.lang.String |
getNativeExecCG(EXECUTENATIVE insn) |
protected java.lang.String |
getNextCG() |
protected java.lang.String |
getStateId(int id) |
void |
objectWait(VM vm,
ThreadInfo ti,
ElementInfo ei)
notify if a wait() is executed
|
protected void |
printBacktrack(java.lang.String fromState,
java.lang.String toState) |
protected void |
printEndState(java.lang.String stateId) |
protected void |
printErrorState(java.lang.String error) |
protected void |
printHeader() |
protected void |
printRestored(java.lang.String fromState,
java.lang.String toState) |
protected void |
printStartState(java.lang.String stateId) |
protected void |
printTransition(java.lang.String fromState,
java.lang.String toState,
java.lang.String choiceVal,
java.lang.String cgCause) |
void |
publishFinished(Publisher publisher) |
void |
searchFinished(Search search)
we're done, either with or without a preceeding error
|
void |
searchStarted(Search search)
we get this after we enter the search loop, but BEFORE the first forward
|
void |
stateAdvanced(Search search)
got the next state
Note - this will be notified before any potential propertyViolated, in which
case the currentError will be already set
|
void |
stateBacktracked(Search search)
state was backtracked one step
|
void |
stateRestored(Search search)
a previously generated state was restored
(can be on a completely different path)
|
void |
threadStarted(VM vm,
ThreadInfo ti)
new Thread entered run() method
|
choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, instructionExecuted, loadClass, methodEntered, methodExited, objectCreated, objectExposed, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectShared, objectUnlocked, propertyViolated, publishConstraintHit, publishProbe, publishPropertyViolation, publishStart, publishTransition, searchConstraintHit, searchProbed, stateProcessed, statePurged, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadTerminated, threadWaiting, vmInitialized
protected java.lang.String graphAttrs
protected java.lang.String genericNodeAttrs
protected java.lang.String genericEdgeAttrs
protected java.lang.String startNodeAttrs
protected java.lang.String endNodeAttrs
protected java.lang.String errorNodeAttrs
protected java.lang.String newEdgeAttrs
protected java.lang.String visitedEdgeAttrs
protected java.lang.String backtrackEdgeAttrs
protected java.lang.String restoreEdgeAttrs
protected boolean showTarget
protected boolean printFile
protected VM vm
protected java.lang.String app
protected java.io.File file
protected java.io.PrintWriter pw
protected int lastId
protected java.lang.String lastErrorId
protected ElementInfo lastEi
protected ThreadInfo lastTi
public void searchStarted(Search search)
SearchListener
searchStarted
in interface SearchListener
searchStarted
in class ListenerAdapter
public void stateAdvanced(Search search)
SearchListener
stateAdvanced
in interface SearchListener
stateAdvanced
in class ListenerAdapter
public void stateBacktracked(Search search)
SearchListener
stateBacktracked
in interface SearchListener
stateBacktracked
in class ListenerAdapter
public void stateRestored(Search search)
SearchListener
stateRestored
in interface SearchListener
stateRestored
in class ListenerAdapter
public void searchFinished(Search search)
SearchListener
searchFinished
in interface SearchListener
searchFinished
in class ListenerAdapter
public void threadStarted(VM vm, ThreadInfo ti)
VMListener
threadStarted
in interface VMListener
threadStarted
in class ListenerAdapter
public void objectWait(VM vm, ThreadInfo ti, ElementInfo ei)
VMListener
objectWait
in interface VMListener
objectWait
in class ListenerAdapter
public void publishFinished(Publisher publisher)
publishFinished
in interface PublisherExtension
publishFinished
in class ListenerAdapter
protected java.lang.String getStateId(int id)
protected java.lang.String getLastChoice()
protected java.lang.String getNextCG()
protected java.lang.String getNativeExecCG(EXECUTENATIVE insn)
protected java.lang.String getFieldAccessCG(JVMFieldInstruction insn)
protected java.lang.String getLockCG(LockInstruction insn)
protected java.lang.String getInvokeCG(JVMInvokeInstruction insn)
protected java.lang.String getError(Search search)
protected static java.lang.String getInstanceRef(int ref)
protected static java.lang.String getClassObjectRef(int ref)
protected void printHeader()
protected void printTransition(java.lang.String fromState, java.lang.String toState, java.lang.String choiceVal, java.lang.String cgCause)
protected void printBacktrack(java.lang.String fromState, java.lang.String toState)
protected void printRestored(java.lang.String fromState, java.lang.String toState)
protected void printStartState(java.lang.String stateId)
protected void printEndState(java.lang.String stateId)
protected void printErrorState(java.lang.String error)