|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object sofya.ed.semantic.EventFilter sofya.ed.semantic.EventSelectionFilter sofya.apps.atomicity.EventClassifier sofya.apps.atomicity.DefaultEventClassifier
public class DefaultEventClassifier
This class implements a default global event classification policy.
Nested Class Summary |
---|
Nested classes/interfaces inherited from class sofya.apps.atomicity.EventClassifier |
---|
EventClassifier.EventClass |
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.apps.atomicity.EventClassifier |
---|
eventClass |
Fields inherited from class sofya.ed.semantic.EventFilter |
---|
listenerCount, listeners |
Constructor Summary | |
---|---|
DefaultEventClassifier(boolean objectSensitive,
MultiLocksetRaceDetector raceDetector,
HappenBeforeChecker hbChecker)
Creates a new default event classifier. |
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 |
---|
public DefaultEventClassifier(boolean objectSensitive, MultiLocksetRaceDetector raceDetector, HappenBeforeChecker hbChecker)
objectSensitive
- Specifies whether race detection should
treat field of every object instance as distinct.raceDetector
- Multi-lockset race detector to be used to refine
race detection.hbChecker
- Happens-before checker used to refine race
detection.Method Detail |
---|
public void constructorEnterEvent(EventListener.ThreadData td, EventListener.ObjectData od, EventListener.MethodData md)
EventListener
This is the first point during the object creation process at which the object can be uniquely identified.
constructorEnterEvent
in interface EventListener
constructorEnterEvent
in class EventSelectionFilter
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.public void threadStartEvent(EventListener.ThreadData td)
EventListener
threadStartEvent
in interface EventListener
threadStartEvent
in class EventSelectionFilter
td
- Information about the newly started thread.public void threadDeathEvent(EventListener.ThreadData td)
EventListener
threadDeathEvent
in interface EventListener
threadDeathEvent
in class EventSelectionFilter
td
- Information about the terminated thread.public void monitorContendEvent(EventListener.ThreadData td, EventListener.ObjectData od, EventListener.MonitorData md)
EventListener
monitorContendEvent
in interface EventListener
monitorContendEvent
in class EventSelectionFilter
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.public void monitorAcquireEvent(EventListener.ThreadData td, EventListener.ObjectData od, EventListener.MonitorData md)
EventListener
monitorAcquireEvent
in interface EventListener
monitorAcquireEvent
in class EventSelectionFilter
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.public void monitorPreReleaseEvent(EventListener.ThreadData td, EventListener.ObjectData od, EventListener.MonitorData md)
EventListener
monitorPreReleaseEvent
in interface EventListener
monitorPreReleaseEvent
in class EventSelectionFilter
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..public void monitorReleaseEvent(EventListener.ThreadData td, EventListener.ObjectData od, EventListener.MonitorData md)
EventListener
monitorReleaseEvent
in interface EventListener
monitorReleaseEvent
in class EventSelectionFilter
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.public void staticFieldAccessEvent(EventListener.ThreadData td, EventListener.FieldData fd)
EventListener
staticFieldAccessEvent
in interface EventListener
staticFieldAccessEvent
in class EventSelectionFilter
td
- Information about the thread in which the field access
occurred.fd
- Information about the accessed field.public void instanceFieldAccessEvent(EventListener.ThreadData td, EventListener.ObjectData od, EventListener.FieldData fd)
EventListener
instanceFieldAccessEvent
in interface EventListener
instanceFieldAccessEvent
in class EventSelectionFilter
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.public void staticFieldWriteEvent(EventListener.ThreadData td, EventListener.FieldData fd)
EventListener
staticFieldWriteEvent
in interface EventListener
staticFieldWriteEvent
in class EventSelectionFilter
td
- Information about the thread in which the field write
occurred.fd
- Information about the written field.public void instanceFieldWriteEvent(EventListener.ThreadData td, EventListener.ObjectData od, EventListener.FieldData fd)
EventListener
instanceFieldWriteEvent
in interface EventListener
instanceFieldWriteEvent
in class EventSelectionFilter
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.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |