Uses of Package
cz.vutbr.fit.racedetector

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

Classes in cz.vutbr.fit.racedetector used by cz.vutbr.fit.atomicity
Access
          This class represents one access of a program.
RaceDetector.Operation
          Read operation.
 

Classes in cz.vutbr.fit.racedetector used by cz.vutbr.fit.findbugs.atom.analysis
Access
          This class represents one access of a program.
RaceDetector.Operation
          Read operation.
 

Classes in cz.vutbr.fit.racedetector used by cz.vutbr.fit.findbugs.atom.detect
Access
          This class represents one access of a program.
 

Classes in cz.vutbr.fit.racedetector used by cz.vutbr.fit.healing
RDThread
          This class is used for keeping information concerning a thread.
RDVariable
          This class is used for keeping information about program variable.
 

Classes in cz.vutbr.fit.racedetector used by cz.vutbr.fit.racedetector
Access
          This class represents one access of a program.
ARInfo.ProblemAccess
          This class represents the problematic access which was detected when someone else was in atomicity section of this variable.
ARThread
          A structure used for maintaining important thread dependent information for AtomRace.
ARVariable
          This class implements the core of the atomicity race detecting algorithm and contains variable related information.
AtomRaceDetect
          Implementation of the atomicity violation detection algorithm.
Detector
          The interface for race detecting algorithms.
EraserDetect
          The implementation of the Eraser algorithm.
ERThread
          Class takes care of the information gathered about the thread.
ERVariable.State
           
RaceDetector
          The main class of the race detector.
RaceDetector.DetectorImplementation
          Available implementations of race detecting algorithms.
RaceDetector.HealingMethod
          Methods of healing: THREADS - Method based on the utilization of other processors (cores) in the system.
RaceDetector.Operation
          Read operation.
RDThread
          This class is used for keeping information concerning a thread.
RDVariable
          This class is used for keeping information about program variable.
RDVarSet
          A set of variable names which are given in the file and can be used by RaceDetector in several cases.