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.

A B C D E F G H I J L M N O P Q R S T U V W