|
|||||||||
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
public abstract class EventClassifier
Abstract base class for all classes which implement a global event classification policy for atomicity checking.
The classification determined for the event is published in a public field before events are demultiplexed by thread and forwarded to the automata which are checking the atomicity property for individual method invocations. The automata may choose to use the published classification if global information permits a better classification for the event than is possible based on local information available to the automata.
Nested Class Summary | |
---|---|
static class |
EventClassifier.EventClass
Type-safe enumeration of the possible classifications defined for events by the reduction-based algorithm. |
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 | |
---|---|
EventClassifier.EventClass |
eventClass
Published classification determined by the global classifier for the most recent event. |
Fields inherited from class sofya.ed.semantic.EventFilter |
---|
listenerCount, listeners |
Constructor Summary | |
---|---|
EventClassifier()
|
Method Summary |
---|
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 |
Field Detail |
---|
public EventClassifier.EventClass eventClass
Constructor Detail |
---|
public EventClassifier()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |