Class Summary |
AtomicityCollection |
This class contains a collection of atomicity sections indexed by
programLocation of the begining access to the atomicity. |
AtomicityDouble |
The representation of atomicity which has one start and two possible ends. |
AtomicityMulti |
The representation of an atomicity which as more than three ends. |
AtomicitySimple |
The representation of an atomicity with one end. |
AtomicityTriple |
The atomicity with three ends. |
RemoveAtomicity |
This class implements a tool for removing violated atomicities from the set
of atomicities to be checked. |