|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcz.vutbr.fit.findbugs.atom.detect.AtomCollection
public class AtomCollection
A collection of atoms (atoms or access tuples are basic units of atomicity found by static analysis). Atom represent two consequence accesses to the field. Static analysis adds atoms to this collection and then it can be transformed into atomicity collection which is used by race detector.
This class is not thread safe.
Constructor Summary | |
---|---|
AtomCollection()
Constructor. |
Method Summary | |
---|---|
void |
add(Access previous,
Access actual)
Add a new tuple into the list. |
AtomicityCollection |
getAtomicityCol()
The main functionality function. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public AtomCollection()
Method Detail |
---|
public void add(Access previous, Access actual)
previous
- The preceding access to the variable.actual
- The current (or later) access to the variable.public AtomicityCollection getAtomicityCol()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |