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
G
generateVarReport()
- Method in class cz.vutbr.fit.racedetector.
ERThreadInfoCollection
Generates basic report based on informations stored in ThreadInfoCollection - a set of threads accessing the variable.
genXML(TransformerHandler, boolean)
- Method in interface cz.vutbr.fit.atomicity.
Atomicity
Generates XML apropriate record of the atomicity.
genXML(TransformerHandler, boolean)
- Method in class cz.vutbr.fit.atomicity.
AtomicityDouble
Generates XML record of this atomicity.
genXML(TransformerHandler, boolean)
- Method in class cz.vutbr.fit.atomicity.
AtomicityMulti
Generates an XML record of this atomicity.
genXML(TransformerHandler, boolean)
- Method in class cz.vutbr.fit.atomicity.
AtomicitySimple
Generates an XML record of this atomicity.
genXML(TransformerHandler, boolean)
- Method in class cz.vutbr.fit.atomicity.
AtomicityTriple
Generates XML record of this atomicity.
getAtomAccess()
- Method in class cz.vutbr.fit.racedetector.
ERThreadInfo
Returns string of program location where the last access to the variable took place and the access mode.
getAtomEnds()
- Method in interface cz.vutbr.fit.atomicity.
Atomicity
Returns the array of ending Accesses.
getAtomEnds()
- Method in class cz.vutbr.fit.atomicity.
AtomicityDouble
Returns the array of ending Accesses.
getAtomEnds()
- Method in class cz.vutbr.fit.atomicity.
AtomicityMulti
Returns the array of ending Accesses.
getAtomEnds()
- Method in class cz.vutbr.fit.atomicity.
AtomicitySimple
Returns the array of ending Accesses.
getAtomEnds()
- Method in class cz.vutbr.fit.atomicity.
AtomicityTriple
Returns the array of ending Accesses.
getAtomicity(String)
- Method in class cz.vutbr.fit.atomicity.
AtomicityCollection
Returns Atomicity object pointed at the given programLocation.
getAtomicityCol()
- Method in class cz.vutbr.fit.findbugs.atom.detect.
AtomCollection
The main functionality function.
getAtomicityCollectionSize()
- Method in class cz.vutbr.fit.atomicity.
AtomicityCollection
Returns the number of atomicities present in this collection.
getBeginOp()
- Method in interface cz.vutbr.fit.atomicity.
Atomicity
Returns the access type of the atomicity begin operation.
getBeginOp()
- Method in class cz.vutbr.fit.atomicity.
AtomicityDouble
Returns the access type (read/write of the atomicity begin operation.
getBeginOp()
- Method in class cz.vutbr.fit.atomicity.
AtomicityMulti
Returns the access type (read/write of the atomicity begin operation.
getBeginOp()
- Method in class cz.vutbr.fit.atomicity.
AtomicitySimple
Returns the access type (read/write of the atomicity begin operation.
getBeginOp()
- Method in class cz.vutbr.fit.atomicity.
AtomicityTriple
Returns the access type (read/write of the atomicity begin operation.
getCachedProperVarName()
- Method in class cz.vutbr.fit.racedetector.
RDThread
Get the variable's proper name from the cache.
getCachedVarRecord()
- Method in class cz.vutbr.fit.racedetector.
RDThread
Get the variable's record from the cache.
getCandidateLocks()
- Method in class cz.vutbr.fit.racedetector.
ERVariable
Returns String of candidate lock set of this variable.
getDebugText()
- Method in class cz.vutbr.fit.atomicity.
AtomicityCollection
Returns text representation - used for debuging.
getHealingMethod()
- Static method in class cz.vutbr.fit.healing.
Healing
Returns a new object representing concrete healing method which will be used for healing (quarding atomicity sections).
getHeldLocks()
- Method in class cz.vutbr.fit.racedetector.
ERThread
Returns locks held by the thread.
getKeyProgLocation()
- Method in interface cz.vutbr.fit.atomicity.
Atomicity
Returns ConTest program location of the start Access to the Atomicity.
getKeyProgLocation()
- Method in class cz.vutbr.fit.atomicity.
AtomicityDouble
Returns ConTest program location of the begin access of this atomicity.
getKeyProgLocation()
- Method in class cz.vutbr.fit.atomicity.
AtomicityMulti
Returns ConTest program location of the begin access of this atomicity.
getKeyProgLocation()
- Method in class cz.vutbr.fit.atomicity.
AtomicitySimple
Returns ConTest program location of the begin access of this atomicity.
getKeyProgLocation()
- Method in class cz.vutbr.fit.atomicity.
AtomicityTriple
Returns ConTest program location of the begin access of this atomicity.
getKeySet()
- Method in class cz.vutbr.fit.atomicity.
AtomicityCollection
Returns the key set of the atomsec.
getLocationsFromFile(BufferedReader)
- Static method in class cz.vutbr.fit.racedetector.
NoiseInjection
Takes each line from the input file and tries if the line contains valid program location.
getNewAtomicity(Access, HashSet<Access>)
- Static method in class cz.vutbr.fit.atomicity.
AtomicityCollection
Returns the right Atomicity object according to the number of ends the atomicity should have.
getNewThread()
- Method in class cz.vutbr.fit.racedetector.
AtomRaceDetect
Returns a new thread object.
getNewThread()
- Method in interface cz.vutbr.fit.racedetector.
Detector
Returns a new structure to maintain information concerning the thread.
getNewThread()
- Method in class cz.vutbr.fit.racedetector.
EraserDetect
Returns a new thread object.
getNewVariable(Object, String)
- Method in class cz.vutbr.fit.racedetector.
AtomRaceDetect
Returns a new variable object.
getNewVariable(Object, String)
- Method in interface cz.vutbr.fit.racedetector.
Detector
Returns a new structure to maintain information concerning the variable.
getNewVariable(Object, String)
- Method in class cz.vutbr.fit.racedetector.
EraserDetect
Returns a new variable object.
getProperVarName(Object, String)
- Static method in class cz.vutbr.fit.racedetector.
RaceDetector
Returns string representation of the variable - without instance (instance is needed for array processing).
getStatus()
- Method in class cz.vutbr.fit.racedetector.
ERVariable
Returns String describing the status of the variable.
getThreadCandidateLocks()
- Method in class cz.vutbr.fit.racedetector.
ERThreadInfo
Returns a shapshot candidate lock set of the thread with this variable.
getVariable(Object, String)
- Method in class cz.vutbr.fit.racedetector.
RDVariableCollection
Returns variable object pointed at the given variable.
getVarIdentifier(Object, String)
- Static method in class cz.vutbr.fit.racedetector.
RaceDetector
Returns unique string representation of a variable.
getVarSetFromFile(BufferedReader)
- Method in class cz.vutbr.fit.racedetector.
RDVarSet
Loads a list of variable names from the given file.
getVarThreadSet()
- Method in class cz.vutbr.fit.racedetector.
ERThreadInfoCollection
Returns the set of threads accessing the variable.
getVLA(String)
- Method in class cz.vutbr.fit.findbugs.atom.analysis.
AtomFact
Returns last variable access for the given variable or null.
getVLAcopy()
- Method in class cz.vutbr.fit.findbugs.atom.analysis.
AtomFact
Get the variables last access map carrying by this fact.
goAll()
- Static method in class cz.vutbr.fit.healing.
HealingDummyThread
Runs all waiting threads.
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