gov.nasa.jpf.listener

Class StackDepthChecker

java.lang.Object

gov.nasa.jpf.ListenerAdapter

gov.nasa.jpf.listener.StackDepthChecker

All Implemented Interfaces:

JPFListener, PublisherExtension, SearchListener, VMListener

public class StackDepthChecker
extends ListenerAdapter

listener that throws a java.lang.StackOverflowError in case a thread exceeds a configured max stack depth <2do> - maybe we should only count visible stackframes, i.e. the ones for which we have invoke insns on the stack

Field Summary

Fields

Modifier and Type	Field and Description
protected int	maxDepth

Constructor Summary

Constructors

Constructor and Description
StackDepthChecker(Config config, JPF jpf)

Method Summary

Methods

Modifier and Type	Method and Description
void	methodEntered(VM vm, ThreadInfo thread, MethodInfo mi) method body was entered.

Methods inherited from class gov.nasa.jpf.ListenerAdapter

choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, classLoaded, exceptionBailout, exceptionHandled, exceptionThrown, executeInstruction, gcBegin, gcEnd, instructionExecuted, loadClass, 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

Field Detail

maxDepth

protected int maxDepth

Constructor Detail

StackDepthChecker

public StackDepthChecker(Config config,
                 JPF jpf)

Method Detail

methodEntered

public void methodEntered(VM vm,
                 ThreadInfo thread,
                 MethodInfo mi)

Description copied from interface: VMListener

method body was entered. This is notified before the first instruction is executed

Specified by:

methodEntered in interface VMListener

Overrides:

methodEntered in class ListenerAdapter