public class StackDepthChecker extends ListenerAdapter
Modifier and Type | Field and Description |
---|---|
protected int |
maxDepth |
Constructor and Description |
---|
StackDepthChecker(Config config,
JPF jpf) |
Modifier and Type | Method and Description |
---|---|
void |
methodEntered(VM vm,
ThreadInfo thread,
MethodInfo mi)
method body was entered.
|
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
public void methodEntered(VM vm, ThreadInfo thread, MethodInfo mi)
VMListener
methodEntered
in interface VMListener
methodEntered
in class ListenerAdapter