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

T

TestBench - Class in cz.vutbr.fit.findbugs.atom.detect
Just for debugging purposes...
TestBench() - Constructor for class cz.vutbr.fit.findbugs.atom.detect.TestBench
 
threadBeginEvent(String) - Method in class cz.vutbr.fit.racedetector.AtomRaceDetect
Construct a data structure to be used with the thread.
threadBeginEvent(String) - Method in class cz.vutbr.fit.racedetector.Eraser
When new Thread has started.
threadBeginEvent(String) - Method in class cz.vutbr.fit.racedetector.EraserDetect
Construct a data structure representing the thread.
threadEndEvent() - Method in class cz.vutbr.fit.racedetector.AtomRaceDetect
Remove a data structure being used with the thread.
threadEndEvent() - Method in class cz.vutbr.fit.racedetector.Eraser
When Thread has terminated.
threadEndEvent() - Method in class cz.vutbr.fit.racedetector.EraserDetect
Clean a data structure representing the thread.
threadJoinEvent(String, Thread) - Method in class cz.vutbr.fit.racedetector.AtomRaceDetect
not implemented yet
threadJoinEvent(String, Thread) - Method in class cz.vutbr.fit.racedetector.EraserDetect
Join synchronization implementation.
threadNames - Static variable in class cz.vutbr.fit.racedetector.EraserDetect
 
toString() - Method in interface cz.vutbr.fit.atomicity.Atomicity
Returns string representation of the atomicity - suitable for users.
toString() - Method in class cz.vutbr.fit.atomicity.AtomicityDouble
Give a text representation of the atomicity.
toString() - Method in class cz.vutbr.fit.atomicity.AtomicityMulti
Returns the string representation of this atomicity.
toString() - Method in class cz.vutbr.fit.atomicity.AtomicitySimple
Returns string representation of the atomicity.
toString() - Method in class cz.vutbr.fit.atomicity.AtomicityTriple
Give a text representation of the atomicity.
toString() - Method in class cz.vutbr.fit.findbugs.atom.analysis.AtomFact
Some human readable represenatation.
toString() - Method in class cz.vutbr.fit.racedetector.Access
Returns the text representation of this access.
toString() - Method in class cz.vutbr.fit.racedetector.ARInfo.ProblemAccess
Give a text representation of problematic access - usable also for printing warnings.
transferInstruction(InstructionHandle, BasicBlock, AtomFact) - Method in class cz.vutbr.fit.findbugs.atom.analysis.AtomAnalysis
Key method for analysis.

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