gov.nasa.jpf.listener

Class ReferenceLocator

java.lang.Object

gov.nasa.jpf.ListenerAdapter

gov.nasa.jpf.listener.ReferenceLocator

All Implemented Interfaces:

JPFListener, PublisherExtension, SearchListener, VMListener

public class ReferenceLocator
extends ListenerAdapter

tiny utility listener that can be used to find out where a certain object (specified by reference) gets allocated or accessed (call or field), and when it gets gc'ed

Constructor Summary

Constructors

Constructor and Description
ReferenceLocator(Config conf)

Method Summary

Methods

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	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	printLocation(String msg, ThreadInfo ti)
protected int[]	sort(int[] a)

Methods inherited from class gov.nasa.jpf.ListenerAdapter

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ReferenceLocator

public ReferenceLocator(Config conf)

Method Detail

sort

protected int[] sort(int[] a)

printLocation

protected void printLocation(String msg,
                 ThreadInfo ti)

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