gov.nasa.jpf.vm.serialize

Class DynamicAbstractionSerializer.Attributor

java.lang.Object

gov.nasa.jpf.ListenerAdapter

gov.nasa.jpf.vm.serialize.DynamicAbstractionSerializer.Attributor

All Implemented Interfaces:

JPFListener, PublisherExtension, SearchListener, VMListener

Enclosing class:

DynamicAbstractionSerializer

public class DynamicAbstractionSerializer.Attributor
extends ListenerAdapter

Constructor Summary

Constructors

Constructor and Description
DynamicAbstractionSerializer.Attributor()

Method Summary

Methods

Modifier and Type	Method and Description
void	classLoaded(VM vm, ClassInfo loadedClass) new class was loaded.

Methods inherited from class gov.nasa.jpf.ListenerAdapter

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

DynamicAbstractionSerializer.Attributor

public DynamicAbstractionSerializer.Attributor()

Method Detail

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