cz.vutbr.fit.findbugs.atom.detect
Class AtomCollection

java.lang.Object
  extended by cz.vutbr.fit.findbugs.atom.detect.AtomCollection

public class AtomCollection
extends java.lang.Object

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.

Author:
zdenek

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

AtomCollection

public AtomCollection()
Constructor.

Method Detail

add

public void add(Access previous,
                Access actual)
Add a new tuple into the list.

Parameters:
previous - The preceding access to the variable.
actual - The current (or later) access to the variable.

getAtomicityCol

public AtomicityCollection getAtomicityCol()
The main functionality function. Implements conversion from atom collection to atomicity collection. It joins all atoms which start at the same program location to one atomicity.

Returns:
Atomicity collection