gov.nasa.jpf.listener

Class OOMEInjector

java.lang.Object

gov.nasa.jpf.ListenerAdapter

gov.nasa.jpf.listener.OOMEInjector

All Implemented Interfaces:

JPFListener, PublisherExtension, SearchListener, VMListener

public class OOMEInjector
extends ListenerAdapter

simulator for OutOfMemoryErrors. This can be configured to either fire for a specified location range (file:line) or specified types. Ranges are transitive, i.e. everything called from within it should also trigger. Since our only action is to inject OutOfMemoryErrors, we don't need to implement a Property interface

Constructor Summary

Constructors

Constructor and Description
OOMEInjector(Config config, JPF jpf)

Method Summary

Methods

Modifier and Type	Method and Description
protected boolean	checkCallerForOOM(StackFrame frame, Instruction insn)
void	classLoaded(VM vm, ClassInfo loadedClass) new class was loaded.
void	executeInstruction(VM vm, ThreadInfo ti, Instruction insnToExecute) VM is about to execute the next instruction
void	instructionExecuted(VM vm, ThreadInfo ti, Instruction insn, Instruction executedInsn) VM has executed the next instruction (can be used to analyze branches, monitor PUTFIELD / GETFIELD and INVOKExx / RETURN instructions)
protected void	markMatchingInstructions(MethodInfo mi, LocationSpec locSpec)

Methods inherited from class gov.nasa.jpf.ListenerAdapter

choiceGeneratorAdvanced, choiceGeneratorProcessed, choiceGeneratorRegistered, choiceGeneratorSet, exceptionBailout, exceptionHandled, exceptionThrown, 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

OOMEInjector

public OOMEInjector(Config config,
            JPF jpf)

Method Detail

markMatchingInstructions

protected void markMatchingInstructions(MethodInfo mi,
                            LocationSpec locSpec)

classLoaded

public void classLoaded(VM vm,
               ClassInfo loadedClass)

Description copied from interface: VMListener

new class was loaded. This is notified after the ClassInfo has been instantiated, but before the class object is initialized, i.e. clinit is called. The main use for this notification is to identify and store ClassInfos, MethodInfos, FieldInfos or Instructions that are used by listeners etc. in order to enable efficient identify based filters in the performance critical instruction notifications

Specified by:

classLoaded in interface VMListener

Overrides:

classLoaded in class ListenerAdapter

checkCallerForOOM

protected boolean checkCallerForOOM(StackFrame frame,
                        Instruction insn)

executeInstruction

public void executeInstruction(VM vm,
                      ThreadInfo ti,
                      Instruction insnToExecute)

Description copied from interface: VMListener

VM is about to execute the next instruction

Specified by:

executeInstruction in interface VMListener

Overrides:

executeInstruction in class ListenerAdapter

instructionExecuted

public void instructionExecuted(VM vm,
                       ThreadInfo ti,
                       Instruction insn,
                       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