|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcz.vutbr.fit.findbugs.atom.analysis.AtomFact
public class AtomFact
This class represents the fact (something what is true at the location) of the dataflow analysis for finding atomicity.
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 |
---|
public AtomFact(java.util.HashMap<java.lang.String,java.util.HashSet<Access>> vla)
vla
- Method Detail |
---|
public boolean isTop()
public void setTop(boolean top)
top
- public boolean isBottom()
public void setBottom(boolean bot)
bot
- public void addVLA(java.lang.String var, Access access)
public java.util.HashSet<Access> getVLA(java.lang.String var)
public void joinVLAs(java.util.HashMap<java.lang.String,java.util.HashSet<Access>> vla)
vla
- public void setVLA(java.util.HashMap<java.lang.String,java.util.HashSet<Access>> vla)
vla
- public java.util.HashMap<java.lang.String,java.util.HashSet<Access>> getVLAcopy()
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |