Package cz.vutbr.fit.atomicity

Interface Summary
Atomicity Interface defines the basic operations which every atomicity should support.
 

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.