gov.nasa.jpf.listener

Class CallMonitor

java.lang.Object

gov.nasa.jpf.ListenerAdapter

gov.nasa.jpf.listener.CallMonitor

All Implemented Interfaces:

JPFListener, PublisherExtension, SearchListener, VMListener

public class CallMonitor
extends ListenerAdapter

this isn't yet a useful tool, but it shows how to track method calls with their corresponding argument values

Constructor Summary

Constructors

Constructor and Description
CallMonitor()

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)

Methods inherited from class gov.nasa.jpf.ListenerAdapter

choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, loadClass, methodEntered, methodExited, objectCreated, objectLocked, objectNotify, objectNotifyAll, objectReleased, 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

CallMonitor

public CallMonitor()

Method Detail

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