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

C

canRecompute() - Method in class cz.vutbr.fit.findbugs.atom.analysis.AtomDataflowEngine
Returns information if the facts can be later recomputed.
characters(char[], int, int) - Method in class cz.vutbr.fit.atomicity.AtomicityCollection.XMLHandler
When the parser encounters plain text (not XML elements), it calls this method.
cleanERThread() - Method in class cz.vutbr.fit.racedetector.ERThread
Information of the thread are removed, for memory saving.
cleanRDThread() - Method in class cz.vutbr.fit.racedetector.RDThread
Clean the structures.
clearAtomicSectionEnd(RDVariable) - Method in class cz.vutbr.fit.racedetector.RDThread
Remove the information concerning atomic section end for the variable.
clearThreads() - Method in class cz.vutbr.fit.racedetector.ERThreadInfoCollection
Clear the set - remove all ThreadInfo objects from the set.
clearThreadsAcceptCurrent() - Method in class cz.vutbr.fit.racedetector.ERThreadInfoCollection
Clean the set - remove all ThreadInfo objects from the set accept that representing current thread.
containsThread(int) - Method in class cz.vutbr.fit.racedetector.ERThreadInfoCollection
Returns true if the record containing given thread exists.
copy(AtomFact, AtomFact) - Method in class cz.vutbr.fit.findbugs.atom.analysis.AtomAnalysis
Copy the content of the fact from the source fact to the destination fact.
correctRun - Variable in class cz.vutbr.fit.atomicity.AtomicityCollection
 
createFact() - Method in class cz.vutbr.fit.findbugs.atom.analysis.AtomAnalysis
Create a new fact.
CTMethods - Class in cz.vutbr.fit.findbugs.atom.analysis
This class provides static operation which makes available parameters of ConTest methods.
CTMethods() - Constructor for class cz.vutbr.fit.findbugs.atom.analysis.CTMethods
 
CTVarInfo - Class in cz.vutbr.fit.findbugs.atom.analysis
Class encapsulating information concerning ConTest method invocation.
CTVarInfo(String, String, RaceDetector.Operation) - Constructor for class cz.vutbr.fit.findbugs.atom.analysis.CTVarInfo
Constructor.
curInside - Variable in class cz.vutbr.fit.racedetector.ARThread
 
curLocation - Variable in class cz.vutbr.fit.racedetector.ARInfo.ProblemAccess
 
curOperation - Variable in class cz.vutbr.fit.racedetector.ARInfo.ProblemAccess
 
curThread - Variable in class cz.vutbr.fit.racedetector.ARInfo.ProblemAccess
 
cz.vutbr.fit.atomicity - package cz.vutbr.fit.atomicity
 
cz.vutbr.fit.findbugs.atom.analysis - package cz.vutbr.fit.findbugs.atom.analysis
 
cz.vutbr.fit.findbugs.atom.detect - package cz.vutbr.fit.findbugs.atom.detect
 
cz.vutbr.fit.healing - package cz.vutbr.fit.healing
 
cz.vutbr.fit.racedetector - package cz.vutbr.fit.racedetector
Race detector for IBM ConTest What is a data race?

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