Uses of Interface
cz.vutbr.fit.atomicity.Atomicity

Packages that use Atomicity
cz.vutbr.fit.atomicity   
cz.vutbr.fit.findbugs.atom.detect   
cz.vutbr.fit.healing   
cz.vutbr.fit.racedetector Race detector for IBM ConTest What is a data race? 
 

Uses of Atomicity in cz.vutbr.fit.atomicity
 

Classes in cz.vutbr.fit.atomicity that implement Atomicity
 class AtomicityDouble
          The representation of atomicity which has one start and two possible ends.
 class AtomicityMulti
          The representation of an atomicity which as more than three ends.
 class AtomicitySimple
          The representation of an atomicity with one end.
 class AtomicityTriple
          The atomicity with three ends.
 

Methods in cz.vutbr.fit.atomicity that return Atomicity
 Atomicity AtomicityCollection.getAtomicity(java.lang.String programLocation)
          Returns Atomicity object pointed at the given programLocation.
static Atomicity AtomicityCollection.getNewAtomicity(Access begin, java.util.HashSet<Access> ends)
          Returns the right Atomicity object according to the number of ends the atomicity should have.
 

Methods in cz.vutbr.fit.atomicity with parameters of type Atomicity
 void AtomicityCollection.addAtomicity(java.lang.String progLoc, Atomicity atom)
          Add a new atomicity to the collection.
 

Uses of Atomicity in cz.vutbr.fit.findbugs.atom.detect
 

Methods in cz.vutbr.fit.findbugs.atom.detect with parameters of type Atomicity
protected static boolean FilterAtomicPattern.isAtomicPattern(Atomicity atom)
           
 

Uses of Atomicity in cz.vutbr.fit.healing
 

Methods in cz.vutbr.fit.healing with parameters of type Atomicity
 void Healing.startHealing(java.lang.String programLocation, RDVariable rdv, RDThread rdt, Atomicity atom)
          Start healing operation if needed according to chosen healing method.
 

Uses of Atomicity in cz.vutbr.fit.racedetector
 

Fields in cz.vutbr.fit.racedetector declared as Atomicity
 Atomicity ARInfo.atomicity
          Atomicity section which was disturbed.
 

Methods in cz.vutbr.fit.racedetector with parameters of type Atomicity
 boolean ARVariable.beforeAccess(ARThread art, java.lang.String programLocation, RaceDetector.Operation operation, Atomicity beginAtom)
          Things that should be done before the access to the variable: Check if someone else is not in the critical section of this variable (if is - than conflict is detected).
 void RDThread.setAtomicSection(RDVariable rdv, Atomicity atom)
          Sets the end of atomic section - this program location is buffered for better performance.
 

Constructors in cz.vutbr.fit.racedetector with parameters of type Atomicity
ARInfo(Atomicity at)
          Constructor.