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
 

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