A B C D E F G H I J L M N O P Q R S T U V W

R

raceAvoidLock - Variable in class cz.vutbr.fit.racedetector.RDVariable
 
raceAvoidSemaphore - Variable in class cz.vutbr.fit.racedetector.RDVariable
 
raceDetect - Variable in class cz.vutbr.fit.racedetector.AtomRace
 
raceDetect - Variable in class cz.vutbr.fit.racedetector.Eraser
Reference to the main class enclosing
raceDetected - Variable in class cz.vutbr.fit.racedetector.RDVariable
 
RaceDetector - Class in cz.vutbr.fit.racedetector
The main class of the race detector.
RaceDetector(RaceDetector.DetectorImplementation, Detector) - Constructor for class cz.vutbr.fit.racedetector.RaceDetector
Main constructor called by ConTest.
RaceDetector.DetectorImplementation - Enum in cz.vutbr.fit.racedetector
Available implementations of race detecting algorithms.
RaceDetector.HealingMethod - Enum in cz.vutbr.fit.racedetector
Methods of healing: THREADS - Method based on the utilization of other processors (cores) in the system.
RaceDetector.Operation - Enum in cz.vutbr.fit.racedetector
Read operation.
randInjectNoise() - Static method in class cz.vutbr.fit.racedetector.NoiseInjection
Inserts with predefined probability the noise with predefined strength to the thread which calls this method if a variable is specified.
RD_DIRECTORY - Static variable in class cz.vutbr.fit.racedetector.RaceDetector
directory name with the race detector input files
RDThread - Class in cz.vutbr.fit.racedetector
This class is used for keeping information concerning a thread.
RDThread() - Constructor for class cz.vutbr.fit.racedetector.RDThread
constructor
RDThreadLocal - Class in cz.vutbr.fit.racedetector
This class extends ThreadLocal used for storing variables local for a thread.
RDThreadLocal() - Constructor for class cz.vutbr.fit.racedetector.RDThreadLocal
 
RDVariable - Class in cz.vutbr.fit.racedetector
This class is used for keeping information about program variable.
RDVariable(Object, String) - Constructor for class cz.vutbr.fit.racedetector.RDVariable
Constructor
RDVariableCollection - Class in cz.vutbr.fit.racedetector
This class provides access to set of RDVariable (information concerning variable).
RDVariableCollection() - Constructor for class cz.vutbr.fit.racedetector.RDVariableCollection
Constructor.
RDVarSet - Class in cz.vutbr.fit.racedetector
A set of variable names which are given in the file and can be used by RaceDetector in several cases.
RDVarSet() - Constructor for class cz.vutbr.fit.racedetector.RDVarSet
constructor
registerAnalysisEngines(IAnalysisCache) - Method in class cz.vutbr.fit.findbugs.atom.analysis.EngineRegistrar
 
registerWith(IAnalysisCache) - Method in class cz.vutbr.fit.findbugs.atom.analysis.AtomDataflowEngine
Registers the analysis to analysisCache.
remove(String) - Method in class cz.vutbr.fit.atomicity.AtomicityCollection
Removes from this atomicity collection the record that is determined by its key.
removeAll(AtomicityCollection) - Method in class cz.vutbr.fit.atomicity.AtomicityCollection
Removes from this atomicity collection all records that are presented in the given atomicity collection.
removeAll(HashSet<String>) - Method in class cz.vutbr.fit.atomicity.AtomicityCollection
Removes from this atomicity collection all records that uses as key ConTest locations present in the given Set.
RemoveAtomicity - Class in cz.vutbr.fit.atomicity
This class implements a tool for removing violated atomicities from the set of atomicities to be checked.
RemoveAtomicity() - Constructor for class cz.vutbr.fit.atomicity.RemoveAtomicity
 
removeHeldLock(int) - Method in class cz.vutbr.fit.racedetector.ERThread
Removes lock from the set of locks currently held by the thread.
report() - Method in class cz.vutbr.fit.findbugs.atom.detect.FindOmit
 
restoreAtomicityFromFile(BufferedReader) - Method in class cz.vutbr.fit.atomicity.AtomicityCollection
Restores atomicity information from the file.
retainThreadCandidateLocks(Set<Index>) - Method in class cz.vutbr.fit.racedetector.ERThreadInfo
Retains maintained candidates locks for thread/variable combination.
run() - Method in class cz.vutbr.fit.healing.HealingDummyThread
Runs dummy thread.

A B C D E F G H I J L M N O P Q R S T U V W