public class ObjectTracker extends PropertyListenerAdapter
Constructor and Description |
---|
ObjectTracker(Config conf,
JPF jpf) |
Modifier and Type | Method and Description |
---|---|
boolean |
check(Search search,
VM vm)
return true if property is NOT violated
|
String |
getErrorMessage() |
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 |
objectCreated(VM vm,
ThreadInfo ti,
ElementInfo ei)
new object was created
|
void |
objectReleased(VM vm,
ThreadInfo ti,
ElementInfo ei)
object was garbage collected (after potential finalization)
|
void |
reset() |
choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, loadClass, methodEntered, methodExited, objectLocked, objectNotify, objectNotifyAll, objectUnlocked, objectWait, propertyViolated, publishConstraintHit, publishFinished, publishPropertyViolation, publishStart, publishTransition, searchConstraintHit, searchFinished, searchStarted, stateAdvanced, stateBacktracked, stateProcessed, statePurged, stateRestored, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadStarted, threadTerminated, threadWaiting, vmInitialized
getExplanation, printOn
public boolean check(Search search, VM vm)
Property
check
in interface Property
check
in class PropertyListenerAdapter
public void reset()
reset
in interface Property
reset
in class PropertyListenerAdapter
public String getErrorMessage()
getErrorMessage
in interface Property
getErrorMessage
in class GenericProperty
public void objectCreated(VM vm, ThreadInfo ti, ElementInfo ei)
VMListener
objectCreated
in interface VMListener
objectCreated
in class PropertyListenerAdapter
public void objectReleased(VM vm, ThreadInfo ti, ElementInfo ei)
VMListener
objectReleased
in interface VMListener
objectReleased
in class PropertyListenerAdapter
public void instructionExecuted(VM vm, ThreadInfo ti, Instruction nextInsn, Instruction executedInsn)
VMListener
instructionExecuted
in interface VMListener
instructionExecuted
in class PropertyListenerAdapter