gov.nasa.jpf.listener

Class InsnCounter

java.lang.Object

gov.nasa.jpf.ListenerAdapter

gov.nasa.jpf.listener.InsnCounter

All Implemented Interfaces:

JPFListener, PublisherExtension, SearchListener, VMListener

public class InsnCounter
extends ListenerAdapter

simple tools to gather statistics about instructions executed by JPF. InsnCounter is mostly a VMListener that observes 'instructionExecuted'

Constructor Summary

Constructors

Constructor and Description
InsnCounter()

Method Summary

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	searchFinished(Search search) we're done, either with or without a preceeding error

Methods inherited from class gov.nasa.jpf.ListenerAdapter

choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, loadClass, methodEntered, methodExited, objectCreated, objectExposed, objectLocked, objectNotify, objectNotifyAll, objectReleased, objectShared, objectUnlocked, objectWait, propertyViolated, publishConstraintHit, publishFinished, publishProbe, publishPropertyViolation, publishStart, publishTransition, searchConstraintHit, 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

Constructor Detail

InsnCounter

public InsnCounter()

Method Detail

searchFinished

public void searchFinished(Search search)

Description copied from interface: SearchListener

we're done, either with or without a preceeding error

Specified by:

searchFinished in interface SearchListener

Overrides:

searchFinished 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