|
Class Summary |
| AtomicityEvents |
Specification which instructs an
SemanticEventDispatcher to dispatch
events for atomicity checking. |
| AutomataController |
Starts and stops the automata which check whether a method is atomic
on a particular invocation. |
| DefaultEventClassifier |
This class implements a default global event classification policy. |
| DynamicEscapeDetector |
Implements the dynamic escape detection algorithm as described by
Stoller and Wang. |
| EventClassifier |
Abstract base class for all classes which implement a global event
classification policy for atomicity checking. |
| EventClassifier.EventClass |
Type-safe enumeration of the possible classifications defined for
events by the reduction-based algorithm. |
| HappenBeforeChecker |
Implementation of the happens-before analysis described by Wang and
Stoller, with the exception that vector clocks are used. |
| MultiLocksetRaceDetector |
Implements the multi-lockset race detection algorithm for fields described
by Wang and Stoller. |
| RBAutomata |
Atomicity checking automata implementing the simple reduction-based
algorithm for a single method invocation on a single thread. |
| RBAutomataExt52 |
Extension of the atomicity checking automata that implements the regular
expression described in Lemma 5.2 by Wang and Stoller. |
| ResultCollector |
Records the results of atomicity checking on methods invoked in the
monitored program. |