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
E
endAll()
- Static method in class cz.vutbr.fit.healing.
HealingDummyThread
Finnish all threads.
endDocument()
- Method in class cz.vutbr.fit.atomicity.
AtomicityCollection.XMLHandler
Called at the end of parsing.
endElement(String, String, String)
- Method in class cz.vutbr.fit.atomicity.
AtomicityCollection.XMLHandler
Called when the parser gets to some end element.
endHealing(String, RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
Healing
End healing if needed by chosen healing method.
EngineRegistrar
- Class in
cz.vutbr.fit.findbugs.atom.analysis
Allows to register our analysis to FindBugs.
EngineRegistrar()
- Constructor for class cz.vutbr.fit.findbugs.atom.analysis.
EngineRegistrar
enterCriticSection(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
Healing
Called before enter the critical section which should be atomic.
enterCriticSection(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
HealingNewMutex
Called before enter the critical section.
enterCriticSection(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
HealingOTWait
Called before enter the critical section.
enterCriticSection(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
HealingOTYield
Called before enter the critical section.
enterCriticSection(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
HealingPriority
Called before enter the critical section.
enterCriticSection(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
HealingSemaphore
Called before enter the critical section.
enterCriticSection(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
HealingThreads
Called before enter the critical section.
enterCriticSection(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
HealingYield
Called before enter the critical section.
enterCriticSection(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
HealingYieldPriority
Called before enter the critical section.
enterCriticSection(RDVariable, RDThread)
- Method in class cz.vutbr.fit.healing.
HealingYieldThreads
Called before enter the critical section.
equals(Object)
- Method in class cz.vutbr.fit.racedetector.
Access
Returns true if the given object is of type Access and program locations are the same.
equals(Object)
- Method in class cz.vutbr.fit.racedetector.
ARInfo
Returns true if the given object is of type ARRace and atomicity and byThread are the same.
equals(Object)
- Method in class cz.vutbr.fit.racedetector.
ARInfo.ProblemAccess
Returns true if the given object is of type ProblemAccess and program locations and threads are the same.
Eraser
- Class in
cz.vutbr.fit.racedetector
Eraser()
- Constructor for class cz.vutbr.fit.racedetector.
Eraser
EraserDetect
- Class in
cz.vutbr.fit.racedetector
The implementation of the Eraser algorithm.
EraserDetect()
- Constructor for class cz.vutbr.fit.racedetector.
EraserDetect
ERThread
- Class in
cz.vutbr.fit.racedetector
Class takes care of the information gathered about the thread.
ERThread()
- Constructor for class cz.vutbr.fit.racedetector.
ERThread
constructor
ERThreadInfo
- Class in
cz.vutbr.fit.racedetector
This class is used for keeping information about threads accessing concrete variable.
ERThreadInfo(String, RaceDetector.Operation)
- Constructor for class cz.vutbr.fit.racedetector.
ERThreadInfo
constructor
ERThreadInfoCollection
- Class in
cz.vutbr.fit.racedetector
This class provides access to the set of ThreadInfo objects - each represents a thread accessing shared variable from RDVariable.
ERThreadInfoCollection()
- Constructor for class cz.vutbr.fit.racedetector.
ERThreadInfoCollection
ERVariable
- Class in
cz.vutbr.fit.racedetector
This class contains information gathered concerning the variable.
ERVariable(Object, String)
- Constructor for class cz.vutbr.fit.racedetector.
ERVariable
ERVariable.State
- Enum in
cz.vutbr.fit.racedetector
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