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.

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