public class SimpleDot extends ListenerAdapter
Modifier and Type | Field and Description |
---|---|
protected String |
app |
protected String |
backtrackEdgeAttrs |
protected String |
endNodeAttrs |
protected String |
errorNodeAttrs |
protected File |
file |
protected String |
genericEdgeAttrs |
protected String |
genericNodeAttrs |
protected String |
graphAttrs |
protected ElementInfo |
lastEi |
protected String |
lastErrorId |
protected int |
lastId |
protected ThreadInfo |
lastTi |
protected String |
newEdgeAttrs |
protected boolean |
printFile |
protected PrintWriter |
pw |
protected String |
restoreEdgeAttrs |
protected boolean |
showTarget |
protected String |
startNodeAttrs |
protected String |
visitedEdgeAttrs |
protected VM |
vm |
Modifier and Type | Method and Description |
---|---|
protected static String |
getClassObjectRef(int ref) |
protected String |
getError(Search search) |
protected String |
getFieldAccessCG(FieldInstruction insn) |
protected static String |
getInstanceRef(int ref) |
protected String |
getInvokeCG(InvokeInstruction insn) |
protected String |
getLastChoice() |
protected String |
getLockCG(LockInstruction insn) |
protected String |
getNativeExecCG(EXECUTENATIVE insn) |
protected String |
getNextCG() |
protected String |
getStateId(int id) |
void |
objectWait(VM vm,
ThreadInfo ti,
ElementInfo ei)
notify if a wait() is executed
|
protected void |
printBacktrack(String fromState,
String toState) |
protected void |
printEndState(String stateId) |
protected void |
printErrorState(String error) |
protected void |
printHeader() |
protected void |
printRestored(String fromState,
String toState) |
protected void |
printStartState(String stateId) |
protected void |
printTransition(String fromState,
String toState,
String choiceVal,
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, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectUnlocked, propertyViolated, publishConstraintHit, publishPropertyViolation, publishStart, publishTransition, searchConstraintHit, stateProcessed, statePurged, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadTerminated, threadWaiting, vmInitialized
protected String graphAttrs
protected String genericNodeAttrs
protected String genericEdgeAttrs
protected String startNodeAttrs
protected String endNodeAttrs
protected String errorNodeAttrs
protected String newEdgeAttrs
protected String visitedEdgeAttrs
protected String backtrackEdgeAttrs
protected String restoreEdgeAttrs
protected boolean showTarget
protected boolean printFile
protected VM vm
protected String app
protected File file
protected PrintWriter pw
protected int lastId
protected 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 String getStateId(int id)
protected String getLastChoice()
protected String getNextCG()
protected String getNativeExecCG(EXECUTENATIVE insn)
protected String getFieldAccessCG(FieldInstruction insn)
protected String getLockCG(LockInstruction insn)
protected String getInvokeCG(InvokeInstruction insn)
protected static String getInstanceRef(int ref)
protected static String getClassObjectRef(int ref)
protected void printHeader()
protected void printTransition(String fromState, String toState, String choiceVal, String cgCause)
protected void printStartState(String stateId)
protected void printEndState(String stateId)
protected void printErrorState(String error)