cz.vutbr.fit.findbugs.atom.analysis
Class AtomFact

java.lang.Object
  extended by cz.vutbr.fit.findbugs.atom.analysis.AtomFact

public class AtomFact
extends java.lang.Object

This class represents the fact (something what is true at the location) of the dataflow analysis for finding atomicity.

Author:
zdenek
See Also:
AtomAnalysis

Constructor Summary
AtomFact(java.util.HashMap<java.lang.String,java.util.HashSet<Access>> vla)
          Constructor.
 
Method Summary
 void addVLA(java.lang.String var, Access access)
          Add an information to the fact.
 java.util.HashSet<Access> getVLA(java.lang.String var)
          Returns last variable access for the given variable or null.
 java.util.HashMap<java.lang.String,java.util.HashSet<Access>> getVLAcopy()
          Get the variables last access map carrying by this fact.
 boolean isBottom()
          Returns true if this fact represents BOTTOM value - The fact is not valid (e.g. error occured) (bottom of the lattice).
 boolean isTop()
          Returns true if this fact represents TOP value - I know nothing about the fact at this location (top of the lattice).
 void joinVLAs(java.util.HashMap<java.lang.String,java.util.HashSet<Access>> vla)
          Set the variables last access map.
 void setBottom(boolean bot)
          Set the flag of BOTTOM of this fact.
 void setTop(boolean top)
          Set the flag of TOP of this fact.
 void setVLA(java.util.HashMap<java.lang.String,java.util.HashSet<Access>> vla)
          Set the variables last access map.
 java.lang.String toString()
          Some human readable represenatation.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

AtomFact

public AtomFact(java.util.HashMap<java.lang.String,java.util.HashSet<Access>> vla)
Constructor.

Parameters:
vla -
Method Detail

isTop

public boolean isTop()
Returns true if this fact represents TOP value - I know nothing about the fact at this location (top of the lattice).


setTop

public void setTop(boolean top)
Set the flag of TOP of this fact.

Parameters:
top -

isBottom

public boolean isBottom()
Returns true if this fact represents BOTTOM value - The fact is not valid (e.g. error occured) (bottom of the lattice).


setBottom

public void setBottom(boolean bot)
Set the flag of BOTTOM of this fact.

Parameters:
bot -

addVLA

public void addVLA(java.lang.String var,
                   Access access)
Add an information to the fact.


getVLA

public java.util.HashSet<Access> getVLA(java.lang.String var)
Returns last variable access for the given variable or null.


joinVLAs

public void joinVLAs(java.util.HashMap<java.lang.String,java.util.HashSet<Access>> vla)
Set the variables last access map. It joins the accesses of this fact with the accesses given as parameter. This operation is usefull when dealing with joining of two(or more) facts from different paths in CFG.

Parameters:
vla -

setVLA

public void setVLA(java.util.HashMap<java.lang.String,java.util.HashSet<Access>> vla)
Set the variables last access map.

Parameters:
vla -

getVLAcopy

public java.util.HashMap<java.lang.String,java.util.HashSet<Access>> getVLAcopy()
Get the variables last access map carrying by this fact.


toString

public java.lang.String toString()
Some human readable represenatation.

Overrides:
toString in class java.lang.Object