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

M

main(String[]) - Static method in class cz.vutbr.fit.atomicity.RemoveAtomicity
The main program.
main(String[]) - Static method in class cz.vutbr.fit.findbugs.atom.detect.TestBench
 
makeFactTop(AtomFact) - Method in class cz.vutbr.fit.findbugs.atom.analysis.AtomAnalysis
Make the fact as TOP - means that at this point we know nothing about the location where this fact takes effect.
meetInto(AtomFact, Edge, AtomFact) - Method in class cz.vutbr.fit.findbugs.atom.analysis.AtomAnalysis
Key method which takes care of joining facts.
methodEntryEvent(String) - Method in class cz.vutbr.fit.racedetector.AtomRace
 
methodExitEvent(String, boolean) - Method in class cz.vutbr.fit.racedetector.AtomRace
 
mode - Variable in class cz.vutbr.fit.racedetector.Access
Type of this access (read/write/...).
monitorEnterEvent(String, int) - Method in class cz.vutbr.fit.racedetector.AtomRaceDetect
not implemented yet
monitorEnterEvent(String, int) - Method in class cz.vutbr.fit.racedetector.EraserDetect
Add a lock to the set of held locks.
monitorExitEvent(String, int) - Method in class cz.vutbr.fit.racedetector.AtomRaceDetect
not implemented yet
monitorExitEvent(String, int) - Method in class cz.vutbr.fit.racedetector.EraserDetect
Remove a lock from the set of held locks.

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