tip.cfg.cfa
Class OneLevelFlow.Location

java.lang.Object
  extended by tip.cfg.UnionFind
      extended by tip.cfg.cfa.OneLevelFlow.Location
Enclosing class:
OneLevelFlow

private static class OneLevelFlow.Location
extends UnionFind


Field Summary
private  OneLevelFlow.Location alpha
           
private  java.util.Set<OneLevelFlow.Location> flow
           
private  java.util.Set<OneLevelFlow.Location> pending
           
private  java.util.Set<Target> phi
           
private  java.util.Set<Target> targetSet
           
 
Constructor Summary
OneLevelFlow.Location()
           
OneLevelFlow.Location(Target target)
           
 
Method Summary
 java.util.Set<Target> getIds()
           
 java.util.Set<Target> getPtrIds()
           
 OneLevelFlow.Location getRoot()
           
 java.util.Set<Target> getTargetIds()
           
private  java.util.Set<Target> getTargetIds(java.util.Set<OneLevelFlow.Location> visitedSet, java.util.Set<Target> targets)
           
 OneLevelFlow.Location getValue()
           
 java.lang.String locationName()
           
 java.lang.String rootToString()
           
 void setLe(OneLevelFlow.Location y)
          y.alpha <= this.alpha
 void setPtr(OneLevelFlow.Location t)
          ptr(t) <= this.alpha
 void setValue(OneLevelFlow.Location alpha)
           
 void setXptrLe(OneLevelFlow.Location y)
          y.alpha <= this.ptr.alpha
 void setYptrLe(OneLevelFlow.Location y)
          y.ptr.alpha <= this.alpha
protected  void unify(UnionFind _root)
           
 OneLevelFlow.Location union(UnionFind e)
           
 
Methods inherited from class tip.cfg.UnionFind
getCollection, getParent, isRoot, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

phi

private java.util.Set<Target> phi

alpha

private OneLevelFlow.Location alpha

pending

private java.util.Set<OneLevelFlow.Location> pending

flow

private java.util.Set<OneLevelFlow.Location> flow

targetSet

private java.util.Set<Target> targetSet
Constructor Detail

OneLevelFlow.Location

public OneLevelFlow.Location()

OneLevelFlow.Location

public OneLevelFlow.Location(Target target)
Method Detail

getRoot

public OneLevelFlow.Location getRoot()
Overrides:
getRoot in class UnionFind

union

public OneLevelFlow.Location union(UnionFind e)
Overrides:
union in class UnionFind

getIds

public java.util.Set<Target> getIds()

getPtrIds

public java.util.Set<Target> getPtrIds()

getTargetIds

public java.util.Set<Target> getTargetIds()

getTargetIds

private java.util.Set<Target> getTargetIds(java.util.Set<OneLevelFlow.Location> visitedSet,
                                           java.util.Set<Target> targets)

getValue

public OneLevelFlow.Location getValue()

setValue

public void setValue(OneLevelFlow.Location alpha)

unify

protected void unify(UnionFind _root)
Overrides:
unify in class UnionFind

rootToString

public java.lang.String rootToString()
Overrides:
rootToString in class UnionFind

locationName

public java.lang.String locationName()

setPtr

public void setPtr(OneLevelFlow.Location t)
ptr(t) <= this.alpha


setLe

public void setLe(OneLevelFlow.Location y)
y.alpha <= this.alpha


setYptrLe

public void setYptrLe(OneLevelFlow.Location y)
y.ptr.alpha <= this.alpha


setXptrLe

public void setXptrLe(OneLevelFlow.Location y)
y.alpha <= this.ptr.alpha