Package cz.vutbr.fit.findbugs.atom.detect

Class Summary
AtomCollection A collection of atoms (atoms or access tuples are basic units of atomicity found by static analysis).
FilterAtomicPattern  
FindAtomicity FindBugs detector which uses the results of our analysis to producing atoms.
FindOmit  
FindPatterns FindBugs detector which uses the results of our analysis to producing atoms.
FindProgLocation FindBugs detector which uses the results of our analysis to producing atoms.
TestBench Just for debugging purposes...