gov.nasa.jpf.listener

Class ObjectTracker

java.lang.Object

gov.nasa.jpf.ListenerAdapter

gov.nasa.jpf.listener.ObjectTracker

All Implemented Interfaces:

JPFListener, PublisherExtension, SearchListener, StateExtensionClient, VMListener

public class ObjectTracker
extends ListenerAdapter
implements StateExtensionClient

listener that keeps track of all operations on objects that are specified by reference value or types

Field Summary

Fields

Modifier and Type	Field and Description
protected StringSetMatcher	excludeClasses
protected StringSetMatcher	includeClasses
protected gov.nasa.jpf.listener.ObjectTracker.LogRecord	log
protected boolean	logCalls
protected boolean	logFieldAccess
protected IntSet	trackedRefs

Constructor Summary

Constructors

Constructor and Description
ObjectTracker(Config conf, JPF jpf)

Method Summary

Modifier and Type	Method and Description
void	classLoaded(VM vm, ClassInfo ci) new class was loaded.
java.lang.Object	getStateExtension()
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)
protected void	log(gov.nasa.jpf.listener.ObjectTracker.OpType opType, ElementInfo ei, ThreadInfo ti, Instruction insn)
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)
protected void	printLogOn(java.io.PrintWriter pw)
void	publishPropertyViolation(Publisher publisher)
void	registerListener(JPF jpf)
void	restore(java.lang.Object stateExtension)

Methods inherited from class gov.nasa.jpf.ListenerAdapter

choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, loadClass, methodEntered, methodExited, objectExposed, objectLocked, objectNotify, objectNotifyAll, objectShared, objectUnlocked, objectWait, propertyViolated, publishConstraintHit, publishFinished, publishProbe, publishStart, publishTransition, searchConstraintHit, searchFinished, searchProbed, searchStarted, stateAdvanced, stateBacktracked, stateProcessed, statePurged, stateRestored, stateStored, threadBlocked, threadInterrupted, threadNotified, threadScheduled, threadStarted, threadTerminated, threadWaiting, vmInitialized

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

log

protected gov.nasa.jpf.listener.ObjectTracker.LogRecord log

includeClasses

protected StringSetMatcher includeClasses

excludeClasses

protected StringSetMatcher excludeClasses

trackedRefs

protected IntSet trackedRefs

logFieldAccess

protected boolean logFieldAccess

logCalls

protected boolean logCalls

Constructor Detail

ObjectTracker

public ObjectTracker(Config conf,
                     JPF jpf)

Method Detail

log

protected void log(gov.nasa.jpf.listener.ObjectTracker.OpType opType,
                   ElementInfo ei,
                   ThreadInfo ti,
                   Instruction insn)

classLoaded

public void classLoaded(VM vm,
                        ClassInfo ci)

Description copied from interface: VMListener

new class was loaded. This is notified after the ClassInfo has been instantiated, but before the class object is initialized, i.e. clinit is called. The main use for this notification is to identify and store ClassInfos, MethodInfos, FieldInfos or Instructions that are used by listeners etc. in order to enable efficient identify based filters in the performance critical instruction notifications

Specified by:

classLoaded in interface VMListener

Overrides:

classLoaded in class ListenerAdapter

objectCreated

public void objectCreated(VM vm,
                          ThreadInfo ti,
                          ElementInfo ei)

Description copied from interface: VMListener

new object was created

Specified by:

objectCreated in interface VMListener

Overrides:

objectCreated in class ListenerAdapter

objectReleased

public void objectReleased(VM vm,
                           ThreadInfo ti,
                           ElementInfo ei)

Description copied from interface: VMListener

object was garbage collected (after potential finalization)

Specified by:

objectReleased in interface VMListener

Overrides:

objectReleased in class ListenerAdapter

instructionExecuted

public void instructionExecuted(VM vm,
                                ThreadInfo ti,
                                Instruction nextInsn,
                                Instruction executedInsn)

Description copied from interface: VMListener

VM has executed the next instruction (can be used to analyze branches, monitor PUTFIELD / GETFIELD and INVOKExx / RETURN instructions)

Specified by:

instructionExecuted in interface VMListener

Overrides:

instructionExecuted in class ListenerAdapter

getStateExtension

public java.lang.Object getStateExtension()

Specified by:

getStateExtension in interface StateExtensionClient

restore

public void restore(java.lang.Object stateExtension)

Specified by:

restore in interface StateExtensionClient

registerListener

public void registerListener(JPF jpf)

Specified by:

registerListener in interface StateExtensionClient

publishPropertyViolation

public void publishPropertyViolation(Publisher publisher)

Specified by:

publishPropertyViolation in interface PublisherExtension

Overrides:

publishPropertyViolation in class ListenerAdapter

printLogOn

protected void printLogOn(java.io.PrintWriter pw)