public class ExecTracker extends ListenerAdapter
Constructor and Description |
---|
ExecTracker(Config config) |
Modifier and Type | Method and Description |
---|---|
void |
choiceGeneratorAdvanced(VM vm,
ChoiceGenerator<?> currentCG)
the next choice was requested from a previously registered ChoiceGenerator
NOTE - this notification happens before the KernelState is stored, i.e.
|
void |
exceptionThrown(VM vm,
ThreadInfo ti,
ElementInfo ei)
exception was thrown
|
void |
gcEnd(VM vm)
VMListener interface
|
void |
instructionExecuted(VM vm,
ThreadInfo ti,
Instruction nextInsn,
Instruction executedInsn)
VM has executed the next instruction
(can be used to analyze branches, monitor PUTFIELD / GETFIELD and
INVOKExx / RETURN instructions)
|
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 |
stateProcessed(Search search)
state is fully explored
|
void |
stateRestored(Search search)
SearchListener interface
|
void |
threadStarted(VM vm,
ThreadInfo ti)
new Thread entered run() method
|
void |
threadTerminated(VM vm,
ThreadInfo ti)
Thread exited run() method
|
choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, executeInstruction, gcBegin, loadClass, methodEntered, methodExited, objectCreated, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectUnlocked, objectWait, propertyViolated, publishConstraintHit, publishFinished, publishPropertyViolation, publishStart, publishTransition, searchConstraintHit, statePurged, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadWaiting, vmInitialized
public ExecTracker(Config config)
public void stateRestored(Search search)
stateRestored
in interface SearchListener
stateRestored
in class ListenerAdapter
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 stateProcessed(Search search)
SearchListener
stateProcessed
in interface SearchListener
stateProcessed
in class ListenerAdapter
public void stateBacktracked(Search search)
SearchListener
stateBacktracked
in interface SearchListener
stateBacktracked
in class ListenerAdapter
public void searchFinished(Search search)
SearchListener
searchFinished
in interface SearchListener
searchFinished
in class ListenerAdapter
public void gcEnd(VM vm)
gcEnd
in interface VMListener
gcEnd
in class ListenerAdapter
public void instructionExecuted(VM vm, ThreadInfo ti, Instruction nextInsn, Instruction executedInsn)
VMListener
instructionExecuted
in interface VMListener
instructionExecuted
in class ListenerAdapter
public void threadStarted(VM vm, ThreadInfo ti)
VMListener
threadStarted
in interface VMListener
threadStarted
in class ListenerAdapter
public void threadTerminated(VM vm, ThreadInfo ti)
VMListener
threadTerminated
in interface VMListener
threadTerminated
in class ListenerAdapter
public void exceptionThrown(VM vm, ThreadInfo ti, ElementInfo ei)
VMListener
exceptionThrown
in interface VMListener
exceptionThrown
in class ListenerAdapter
public void choiceGeneratorAdvanced(VM vm, ChoiceGenerator<?> currentCG)
VMListener
choiceGeneratorAdvanced
in interface VMListener
choiceGeneratorAdvanced
in class ListenerAdapter