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
T
TestBench
- Class in
cz.vutbr.fit.findbugs.atom.detect
Just for debugging purposes...
TestBench()
- Constructor for class cz.vutbr.fit.findbugs.atom.detect.
TestBench
threadBeginEvent(String)
- Method in class cz.vutbr.fit.racedetector.
AtomRaceDetect
Construct a data structure to be used with the thread.
threadBeginEvent(String)
- Method in class cz.vutbr.fit.racedetector.
Eraser
When new Thread has started.
threadBeginEvent(String)
- Method in class cz.vutbr.fit.racedetector.
EraserDetect
Construct a data structure representing the thread.
threadEndEvent()
- Method in class cz.vutbr.fit.racedetector.
AtomRaceDetect
Remove a data structure being used with the thread.
threadEndEvent()
- Method in class cz.vutbr.fit.racedetector.
Eraser
When Thread has terminated.
threadEndEvent()
- Method in class cz.vutbr.fit.racedetector.
EraserDetect
Clean a data structure representing the thread.
threadJoinEvent(String, Thread)
- Method in class cz.vutbr.fit.racedetector.
AtomRaceDetect
not implemented yet
threadJoinEvent(String, Thread)
- Method in class cz.vutbr.fit.racedetector.
EraserDetect
Join synchronization implementation.
threadNames
- Static variable in class cz.vutbr.fit.racedetector.
EraserDetect
toString()
- Method in interface cz.vutbr.fit.atomicity.
Atomicity
Returns string representation of the atomicity - suitable for users.
toString()
- Method in class cz.vutbr.fit.atomicity.
AtomicityDouble
Give a text representation of the atomicity.
toString()
- Method in class cz.vutbr.fit.atomicity.
AtomicityMulti
Returns the string representation of this atomicity.
toString()
- Method in class cz.vutbr.fit.atomicity.
AtomicitySimple
Returns string representation of the atomicity.
toString()
- Method in class cz.vutbr.fit.atomicity.
AtomicityTriple
Give a text representation of the atomicity.
toString()
- Method in class cz.vutbr.fit.findbugs.atom.analysis.
AtomFact
Some human readable represenatation.
toString()
- Method in class cz.vutbr.fit.racedetector.
Access
Returns the text representation of this access.
toString()
- Method in class cz.vutbr.fit.racedetector.
ARInfo.ProblemAccess
Give a text representation of problematic access - usable also for printing warnings.
transferInstruction(InstructionHandle, BasicBlock, AtomFact)
- Method in class cz.vutbr.fit.findbugs.atom.analysis.
AtomAnalysis
Key method for analysis.
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