gov.nasa.jpf.listener

Class OverlappingMethodAnalyzer

java.lang.Object

gov.nasa.jpf.ListenerAdapter

gov.nasa.jpf.listener.MethodAnalyzer

gov.nasa.jpf.listener.OverlappingMethodAnalyzer

All Implemented Interfaces:

JPFListener, PublisherExtension, SearchListener, VMListener

public class OverlappingMethodAnalyzer
extends MethodAnalyzer

this is a specialized MethodAnalyzer that looks for overlapping method calls on the same object from different threads. <2do> transition reporting does not work yet

Constructor Summary

Constructors

Constructor and Description
OverlappingMethodAnalyzer(Config config, JPF jpf)

Method Summary

Methods inherited from class gov.nasa.jpf.listener.MethodAnalyzer

instructionExecuted, publishPropertyViolation, stateAdvanced, stateBacktracked, stateRestored, stateStored

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, publishStart, publishTransition, searchConstraintHit, searchFinished, searchProbed, searchStarted, stateProcessed, statePurged, 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

OverlappingMethodAnalyzer

public OverlappingMethodAnalyzer(Config config,
                                 JPF jpf)