Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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?
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
L
M
N
O
P
Q
R
S
T
U
V
W