sofya.ed.semantic
Class EventSelectionFilter

java.lang.Object
  sofya.ed.semantic.EventFilter
      sofya.ed.semantic.EventSelectionFilter

All Implemented Interfaces:

EventListener

Direct Known Subclasses:

AutomataController, DynamicEscapeDetector, EventClassifier, HappenBeforeChecker, MultiLocksetRaceDetector, ObjectFilter, ThreadFilter

public abstract class EventSelectionFilter
extends EventFilter

Event filter which provides null implementations of all of the EventListener methods, thus discarding the events. This is intended as a convenience for subclasses, which can then selectively override to respond to the events of interest.

Version:

11/15/2005

Author:

Alex Kinneer

Nested Class Summary

Nested classes/interfaces inherited from interface sofya.ed.semantic.EventListener

EventListener.Arguments, EventListener.CallData, EventListener.ExceptionData, EventListener.FieldData, EventListener.MethodData, EventListener.MonitorData, EventListener.NewAllocationData, EventListener.ObjectData, EventListener.ThreadData, EventListener.ThreadStatus

Field Summary

Fields inherited from class sofya.ed.semantic.EventFilter

listenerCount, listeners

Constructor Summary

EventSelectionFilter()

Method Summary

void	callReturnEvent(EventListener.ThreadData td, EventListener.CallData cd, boolean exceptional) Notification that a thread has returned from a method call.
void	classPrepareEvent(EventListener.ThreadData td, java.lang.String className) Notification that a class was prepared (this is, loaded by the classloader).
void	constructorCallEvent(EventListener.ThreadData td, EventListener.CallData cd) Notification that a constructor was invoked.
void	constructorEnterEvent(EventListener.ThreadData td, EventListener.ObjectData od, EventListener.MethodData md) Notification that a constructor was entered.
void	constructorExitEvent(EventListener.ThreadData td, EventListener.ObjectData od, EventListener.MethodData md) Notification that a constructor was exited.
void	exceptionCatchEvent(EventListener.ThreadData td, EventListener.ExceptionData ed) Notification that an exception was caught.
void	exceptionThrowEvent(EventListener.ThreadData td, EventListener.ExceptionData ed) Notification that an exception was thrown.
void	executionStarted() Notification that the system has begun executing user code.
void	instanceFieldAccessEvent(EventListener.ThreadData td, EventListener.ObjectData od, EventListener.FieldData fd) Notification that an instance field was read.
void	instanceFieldWriteEvent(EventListener.ThreadData td, EventListener.ObjectData od, EventListener.FieldData fd) Notification that an instance field was written.
void	interfaceCallEvent(EventListener.ThreadData td, EventListener.CallData cd) Notification that an interface method was called.
void	monitorAcquireEvent(EventListener.ThreadData td, EventListener.ObjectData od, EventListener.MonitorData md) Notification that a thread has acquired a monitor.
void	monitorContendEvent(EventListener.ThreadData td, EventListener.ObjectData od, EventListener.MonitorData md) Notification that a thread is contending for a monitor.
void	monitorPreReleaseEvent(EventListener.ThreadData td, EventListener.ObjectData od, EventListener.MonitorData md) Notification that a thread is about to release a monitor.
void	monitorReleaseEvent(EventListener.ThreadData td, EventListener.ObjectData od, EventListener.MonitorData md) Notification that a thread has released a monitor.
void	newAllocationEvent(EventListener.ThreadData td, EventListener.NewAllocationData nad) Notification that an object was allocated by a NEW instruction.
void	staticCallEvent(EventListener.ThreadData td, EventListener.CallData cd) Notification that a static method was called.
void	staticFieldAccessEvent(EventListener.ThreadData td, EventListener.FieldData fd) Notification that a static field was read.
void	staticFieldWriteEvent(EventListener.ThreadData td, EventListener.FieldData fd) Notification that a static field was written.
void	staticInitializerEnterEvent(EventListener.ThreadData td, EventListener.MethodData md) Notification that a static initializer was entered.
void	staticMethodEnterEvent(EventListener.ThreadData td, EventListener.MethodData md) Notification that a static method was entered.
void	staticMethodExitEvent(EventListener.ThreadData td, EventListener.MethodData md) Notification that a static method was exited.
void	systemExited() Notification that the system has terminated.
void	systemStarted() Notification that the target virtual machine has been launched.
void	threadDeathEvent(EventListener.ThreadData td) Notification that a thread has terminated.
void	threadStartEvent(EventListener.ThreadData td) Notification that a thread has started.
void	virtualCallEvent(EventListener.ThreadData td, EventListener.CallData cd) Notification that a virtual method was called.
void	virtualMethodEnterEvent(EventListener.ThreadData td, EventListener.ObjectData od, EventListener.MethodData md) Notification that a virtual method was entered.
void	virtualMethodExitEvent(EventListener.ThreadData td, EventListener.ObjectData od, EventListener.MethodData md) Notification that a virtual method was exited.

Methods inherited from class sofya.ed.semantic.EventFilter

addEventListener, ensureCapacity, removeEventListener

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EventSelectionFilter

public EventSelectionFilter()

Method Detail

systemStarted

public void systemStarted()

Description copied from interface: EventListener

Notification that the target virtual machine has been launched.

executionStarted

public void executionStarted()

Description copied from interface: EventListener

Notification that the system has begun executing user code.

This event will be preceded by thread start events.

threadStartEvent

public void threadStartEvent(EventListener.ThreadData td)

Description copied from interface: EventListener

Notification that a thread has started. These events are not dependent on the module description.

Parameters:

td - Information about the newly started thread.

threadDeathEvent

public void threadDeathEvent(EventListener.ThreadData td)

Description copied from interface: EventListener

Notification that a thread has terminated. These events are not dependent on the module description.

Parameters:

td - Information about the terminated thread.

classPrepareEvent

public void classPrepareEvent(EventListener.ThreadData td,
                              java.lang.String className)

Description copied from interface: EventListener

Notification that a class was prepared (this is, loaded by the classloader). These events are not dependent on the module description.

Parameters:

td - Information about the thread which caused the class to be prepared.

className - Name of the class which was prepared.

monitorContendEvent

public void monitorContendEvent(EventListener.ThreadData td,
                                EventListener.ObjectData od,
                                EventListener.MonitorData md)

Description copied from interface: EventListener

Notification that a thread is contending for a monitor.

Parameters:

td - Information about the thread which is contending for a monitor.

od - Information about the object which owns the monitor.

md - Information about the location of the monitor contention.

monitorAcquireEvent

public void monitorAcquireEvent(EventListener.ThreadData td,
                                EventListener.ObjectData od,
                                EventListener.MonitorData md)

Description copied from interface: EventListener

Notification that a thread has acquired a monitor.

Parameters:

td - Information about the thread which acquired a monitor.

od - Information about the object which owns the monitor.

md - Information about the location of the monitor acquisition.

monitorPreReleaseEvent

public void monitorPreReleaseEvent(EventListener.ThreadData td,
                                   EventListener.ObjectData od,
                                   EventListener.MonitorData md)

Description copied from interface: EventListener

Notification that a thread is about to release a monitor.

Parameters:

td - Information about the thread which is about to release a monitor.

od - Information about the object which owns the monitor.

md - Information about the location of the monitor about to be released event..

monitorReleaseEvent

public void monitorReleaseEvent(EventListener.ThreadData td,
                                EventListener.ObjectData od,
                                EventListener.MonitorData md)

Description copied from interface: EventListener

Notification that a thread has released a monitor.

Parameters:

td - Information about the thread which released a monitor.

od - Information about the object which owns the monitor.

md - Information about the location of the monitor release.

newAllocationEvent

public void newAllocationEvent(EventListener.ThreadData td,
                               EventListener.NewAllocationData nad)

Description copied from interface: EventListener

Notification that an object was allocated by a NEW instruction.

This event cannot yet associate a unique identifier with the object, because this event only represents the allocation of a reference to which an object of a given class may be assigned. In other words, no actual object has yet been created. A unique ID can be obtained once a constructor is executed, which is signaled by the EventListener.constructorEnterEvent(sofya.ed.semantic.EventListener.ThreadData, sofya.ed.semantic.EventListener.ObjectData, sofya.ed.semantic.EventListener.MethodData).

Parameters:

td - Information about the thread which allocated the object.

nad - Information about the new allocation.

constructorCallEvent

public void constructorCallEvent(EventListener.ThreadData td,
                                 EventListener.CallData cd)

Description copied from interface: EventListener

Notification that a constructor was invoked.

Parameters:

td - Information about the thread which invoked the constructor.

cd - Information about the particular constructor which was invoked.

constructorEnterEvent

public void constructorEnterEvent(EventListener.ThreadData td,
                                  EventListener.ObjectData od,
                                  EventListener.MethodData md)

Description copied from interface: EventListener

Notification that a constructor was entered.

This is the first point during the object creation process at which the object can be uniquely identified.

Parameters:

td - Information about the thread executing the constructor.

od - Information about the object under construction. At the time of this event, only the object ID will be valid.

md - Information about the entered constructor.

constructorExitEvent

public void constructorExitEvent(EventListener.ThreadData td,
                                 EventListener.ObjectData od,
                                 EventListener.MethodData md)

Description copied from interface: EventListener

Notification that a constructor was exited.

NOTE: This event is raised only if the constructor completes normally. If a constructor throws an escaping exception, the object is not successfully created and thus further events related to the object are not possible.

Parameters:

td - Information about the thread executing the constructor.

od - Information about the object under construction. At the time of this event, only the object ID will be valid.

md - Information about the exited constructor.

staticFieldAccessEvent

public void staticFieldAccessEvent(EventListener.ThreadData td,
                                   EventListener.FieldData fd)

Description copied from interface: EventListener

Notification that a static field was read.

Parameters:

td - Information about the thread in which the field access occurred.

fd - Information about the accessed field.

instanceFieldAccessEvent

public void instanceFieldAccessEvent(EventListener.ThreadData td,
                                     EventListener.ObjectData od,
                                     EventListener.FieldData fd)

Description copied from interface: EventListener

Notification that an instance field was read.

Parameters:

td - Information about the thread in which the field access occurred.

od - Information about the object which owns the accessed field.

fd - Information about the accessed field.

staticFieldWriteEvent

public void staticFieldWriteEvent(EventListener.ThreadData td,
                                  EventListener.FieldData fd)

Description copied from interface: EventListener

Notification that a static field was written.

Parameters:

td - Information about the thread in which the field write occurred.

fd - Information about the written field.

instanceFieldWriteEvent

public void instanceFieldWriteEvent(EventListener.ThreadData td,
                                    EventListener.ObjectData od,
                                    EventListener.FieldData fd)

Description copied from interface: EventListener

Notification that an instance field was written.

Parameters:

td - Information about the thread in which the field write occurred.

od - Information about the object which owns the written field.

fd - Information about the written field.

staticCallEvent

public void staticCallEvent(EventListener.ThreadData td,
                            EventListener.CallData cd)

Description copied from interface: EventListener

Notification that a static method was called.

Parameters:

td - Information about the thread which called the method.

cd - Information about the called method.

virtualCallEvent

public void virtualCallEvent(EventListener.ThreadData td,
                             EventListener.CallData cd)

Description copied from interface: EventListener

Notification that a virtual method was called.

Parameters:

td - Information about the thread which called the method.

cd - Information about the called method.

interfaceCallEvent

public void interfaceCallEvent(EventListener.ThreadData td,
                               EventListener.CallData cd)

Description copied from interface: EventListener

Notification that an interface method was called.

Parameters:

td - Information about the thread which called the method.

cd - Information about the called method.

callReturnEvent

public void callReturnEvent(EventListener.ThreadData td,
                            EventListener.CallData cd,
                            boolean exceptional)

Description copied from interface: EventListener

Notification that a thread has returned from a method call.

Parameters:

td - Information about the thread in which the method call returned.

cd - Information about the called method from which control returned.

exceptional - Flag indicating whether the method returned exceptionally.

virtualMethodEnterEvent

public void virtualMethodEnterEvent(EventListener.ThreadData td,
                                    EventListener.ObjectData od,
                                    EventListener.MethodData md)

Description copied from interface: EventListener

Notification that a virtual method was entered.

Parameters:

td - Information about the thread executing the method.

od - Information about the object on which the virtual method was called.

md - Information about the entered method.

virtualMethodExitEvent

public void virtualMethodExitEvent(EventListener.ThreadData td,
                                   EventListener.ObjectData od,
                                   EventListener.MethodData md)

Description copied from interface: EventListener

Notification that a virtual method was exited.

Parameters:

td - Information about the thread executing the method.

od - Information about the object on which the virtual method was called.

md - Information about the exited method.

staticMethodEnterEvent

public void staticMethodEnterEvent(EventListener.ThreadData td,
                                   EventListener.MethodData md)

Description copied from interface: EventListener

Notification that a static method was entered.

Parameters:

td - Information about the thread executing the method.

md - Information about the entered method.

staticMethodExitEvent

public void staticMethodExitEvent(EventListener.ThreadData td,
                                  EventListener.MethodData md)

Description copied from interface: EventListener

Notification that a static method was exited.

Parameters:

td - Information about the thread executing the method.

md - Information about the exited method.

exceptionThrowEvent

public void exceptionThrowEvent(EventListener.ThreadData td,
                                EventListener.ExceptionData ed)

Description copied from interface: EventListener

Notification that an exception was thrown.

Parameters:

td - Information about the thread in which the exception was thrown.

ed - Information about the thrown exception.

exceptionCatchEvent

public void exceptionCatchEvent(EventListener.ThreadData td,
                                EventListener.ExceptionData ed)

Description copied from interface: EventListener

Notification that an exception was caught.

Parameters:

td - Information about the thread in which the exception was caught.

ed - Information about the caught exception.

staticInitializerEnterEvent

public void staticInitializerEnterEvent(EventListener.ThreadData td,
                                        EventListener.MethodData md)

Description copied from interface: EventListener

Notification that a static initializer was entered.

Parameters:

td - Information about the thread executing the static initializer.

md - Information about the entered static initializer.

systemExited

public void systemExited()

Description copied from interface: EventListener

Notification that the system has terminated.