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
S
same(AtomFact, AtomFact)
- Method in class cz.vutbr.fit.findbugs.atom.analysis.
AtomAnalysis
Returns true if the given facts are the same with respect to analysis purpose.
sawOpcode(int)
- Method in class cz.vutbr.fit.findbugs.atom.detect.
FindOmit
setAtomicSection(RDVariable, Atomicity)
- Method in class cz.vutbr.fit.racedetector.
RDThread
Sets the end of atomic section - this program location is buffered for better performance.
setBottom(boolean)
- Method in class cz.vutbr.fit.findbugs.atom.analysis.
AtomFact
Set the flag of BOTTOM of this fact.
setCachedInfo(RDVariable, String)
- Method in class cz.vutbr.fit.racedetector.
RDThread
Store information concerning the currently accessed variable to cache.
setCachedProperVarName(String)
- Method in class cz.vutbr.fit.racedetector.
RDThread
Store the proper variable name of the currently accessed variable to cache.
setDetectorType(Detector)
- Static method in class cz.vutbr.fit.racedetector.
RaceDetector
Set detector -(Eraser / AtomRace).
setRunAsFail()
- Static method in class cz.vutbr.fit.racedetector.
RaceDetector
In the case of usage the AtomRace this method marks the run as the run where the error has been detected.
setTop(boolean)
- Method in class cz.vutbr.fit.findbugs.atom.analysis.
AtomFact
Set the flag of TOP of this fact.
setVLA(HashMap<String, HashSet<Access>>)
- Method in class cz.vutbr.fit.findbugs.atom.analysis.
AtomFact
Set the variables last access map.
startElement(String, String, String, Attributes)
- Method in class cz.vutbr.fit.atomicity.
AtomicityCollection.XMLHandler
Called when the parser gets to some start element.
startHealing(String, RDVariable, RDThread, Atomicity)
- Method in class cz.vutbr.fit.healing.
Healing
Start healing operation if needed according to chosen healing method.
startLog()
- Method in class cz.vutbr.fit.racedetector.
LogProducer
Starts the LoggerThread.
stopAll()
- Static method in class cz.vutbr.fit.healing.
HealingDummyThread
Stops all running threads.
storeAtomicityToFile(BufferedWriter, boolean)
- Method in class cz.vutbr.fit.atomicity.
AtomicityCollection
Stores atomicity information into the "atomicity" directory.
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