public class TraceStorer extends ListenerAdapter
Constructor and Description |
---|
TraceStorer(Config config,
JPF jpf) |
Modifier and Type | Method and Description |
---|---|
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 |
propertyViolated(Search search)
JPF encountered a property violation.
|
void |
searchConstraintHit(Search search)
there was some contraint hit in the search, we back out
could have been turned into a property, but usually is an attribute of
the search, not the application
|
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 |
threadStarted(VM vm,
ThreadInfo ti)
new Thread entered run() method
|
choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, loadClass, methodEntered, methodExited, objectCreated, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectUnlocked, objectWait, publishConstraintHit, publishFinished, publishPropertyViolation, publishStart, publishTransition, searchFinished, searchStarted, stateBacktracked, stateProcessed, statePurged, stateRestored, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadTerminated, threadWaiting, vmInitialized
public void propertyViolated(Search search)
SearchListener
propertyViolated
in interface SearchListener
propertyViolated
in class ListenerAdapter
public void stateAdvanced(Search search)
SearchListener
stateAdvanced
in interface SearchListener
stateAdvanced
in class ListenerAdapter
public void searchConstraintHit(Search search)
SearchListener
searchConstraintHit
in interface SearchListener
searchConstraintHit
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