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
P
POISON_PILL
- Variable in class cz.vutbr.fit.racedetector.
LogProducer
Delimiter - if this delimiter is taken from the queue - file is closed and thread terminated.
prepareHealing()
- Method in class cz.vutbr.fit.racedetector.
RDVariable
Turn the healing on.
printAtomViolatReport(ARInfo.ProblemAccess)
- Method in class cz.vutbr.fit.racedetector.
ARInfo
Produce the warning that race has been detected.
printDebug(String)
- Static method in class cz.vutbr.fit.racedetector.
RaceDetector
Used for printing debug info.
printHeldLocks()
- Method in class cz.vutbr.fit.racedetector.
ERThread
Returns a text representation of held locks.
printStatistics()
- Method in class cz.vutbr.fit.racedetector.
RDVariableCollection
printVarReport()
- Method in class cz.vutbr.fit.racedetector.
ERVariable
This function generate report for variable represented with this object.
printWarning(String, Thread, String, String)
- Static method in class cz.vutbr.fit.racedetector.
RaceDetector
Used for printing warnings.
printWarning(String, String)
- Static method in class cz.vutbr.fit.racedetector.
RaceDetector
Used for printing warnings.
processExitMethod(String, InstructionHandle, ConstantPool)
- Static method in class cz.vutbr.fit.findbugs.atom.analysis.
CTMethods
processVarConTestMethod(String, InstructionHandle, ConstantPool, ConstantPoolGen)
- Static method in class cz.vutbr.fit.findbugs.atom.analysis.
CTMethods
The method takes a handle of the INVOKESTATIC instruction which was identifiead as call to ConTest.
progLoc
- Variable in class cz.vutbr.fit.racedetector.
Access
Program location on which this access occurs.
progLocInjectNoise(String)
- 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.
PROPERTIES_FILE
- Static variable in class cz.vutbr.fit.racedetector.
RaceDetector
file from which the setting will be taken
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