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
I
incViolation()
- Method in interface cz.vutbr.fit.atomicity.
Atomicity
Calling of this method will safely increment tne counter of this atomicity violation - this value is used during the learning stage.
incViolation()
- Method in class cz.vutbr.fit.atomicity.
AtomicityDouble
This method will safely increment tne counter of this atomicity violation - this value is used during the learning stage.
incViolation()
- Method in class cz.vutbr.fit.atomicity.
AtomicityMulti
This method will safely increment tne counter of this atomicity violation - this value is used during the learning stage.
incViolation()
- Method in class cz.vutbr.fit.atomicity.
AtomicitySimple
This method will safely increment tne counter of this atomicity violation - this value is used during the learning stage.
incViolation()
- Method in class cz.vutbr.fit.atomicity.
AtomicityTriple
This method will safely increment tne counter of this atomicity violation - this value is used during the learning stage.
initEntryFact(AtomFact)
- Method in class cz.vutbr.fit.findbugs.atom.analysis.
AtomAnalysis
Initiate the fact to the fact which should hold at the start of CFG.
initHealing()
- Static method in class cz.vutbr.fit.healing.
Healing
initialization of the method - empty by default
initHealing()
- Static method in class cz.vutbr.fit.healing.
HealingThreads
initialization of the method - empty by default
initHealing()
- Static method in class cz.vutbr.fit.healing.
HealingYieldThreads
initialization of the method - empty by default
initialValue()
- Method in class cz.vutbr.fit.racedetector.
RDThreadLocal
Returns RDThread subclass according to the activated detector.
instance
- Variable in class cz.vutbr.fit.racedetector.
RDVariable
Reference to a target program object.
isAtomicPattern(Atomicity)
- Static method in class cz.vutbr.fit.findbugs.atom.detect.
FilterAtomicPattern
isAtomicSectionEnd(RDVariable, String)
- Method in class cz.vutbr.fit.racedetector.
RDThread
Returns true if the given program location is the end of buffered atomic section for this variable.
isBottom()
- Method in class cz.vutbr.fit.findbugs.atom.analysis.
AtomFact
Returns true if this fact represents BOTTOM value - The fact is not valid (e.g. error occured) (bottom of the lattice).
isEnd(String)
- Method in interface cz.vutbr.fit.atomicity.
Atomicity
Returns true if the given program location represents the end of the atomicity.
isEnd(String)
- Method in class cz.vutbr.fit.atomicity.
AtomicityDouble
Determines if the given program location represents one of the ends of this atomicity.
isEnd(String)
- Method in class cz.vutbr.fit.atomicity.
AtomicityMulti
Returns true if the given program location represents the end of the atomicity.
isEnd(String)
- Method in class cz.vutbr.fit.atomicity.
AtomicitySimple
Returns true if the given program location represents the end of the atomicity.
isEnd(String)
- Method in class cz.vutbr.fit.atomicity.
AtomicityTriple
Determines if the given program location represents one of the ends of this atomicity.
isFactValid(AtomFact)
- Method in class cz.vutbr.fit.findbugs.atom.analysis.
AtomAnalysis
Returns true if the fact represents a value which is not TOP (I know nothing) or BOTTOM (error occured).
isHealedVariable(RDVariable)
- Method in class cz.vutbr.fit.healing.
Healing
Returns true if the given variable is healed by this thread.
isLoggerDone
- Variable in class cz.vutbr.fit.racedetector.
LogProducer
isTop(AtomFact)
- Method in class cz.vutbr.fit.findbugs.atom.analysis.
AtomAnalysis
Returns true if the given fact is TOP.
isTop()
- Method in class cz.vutbr.fit.findbugs.atom.analysis.
AtomFact
Returns true if this fact represents TOP value - I know nothing about the fact at this location (top of the lattice).
isTrueRace(RaceDetector.Operation)
- Method in class cz.vutbr.fit.racedetector.
ARInfo
Returns true if the given atomicity ending operation means that it was a true race.
isVarInSet(String)
- Method in class cz.vutbr.fit.racedetector.
RDVarSet
Returns true if the given variable description leads to the variable which is stored in this class.
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