tip.cfg.cfa
Class Steensgaard.Location

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

private static class Steensgaard.Location
extends UnionFind


Field Summary
private  Steensgaard.Location alpha
           
private  java.util.Set<Steensgaard.Location> pending
           
private  java.util.Set<Target> phi
           
 
Constructor Summary
Steensgaard.Location()
           
Steensgaard.Location(Target target)
           
 
Method Summary
 java.util.Set<Target> getIds()
           
 java.util.Set<Target> getPtrIds()
           
 Steensgaard.Location getRoot()
           
 Steensgaard.Location getValue()
           
 java.lang.String locationName()
           
 java.lang.String rootToString()
           
 void setLe(Steensgaard.Location y)
          y.alpha <= this.alpha
 void setPtr(Steensgaard.Location t)
          ptr(t) <= this.alpha
 void setValue(Steensgaard.Location alpha)
           
 void setXptrLe(Steensgaard.Location y)
          y.alpha <= this.ptr.alpha
 void setYptrLe(Steensgaard.Location y)
          y.ptr.alpha <= this.alpha
protected  void unify(UnionFind _root)
           
 Steensgaard.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 Steensgaard.Location alpha

pending

private java.util.Set<Steensgaard.Location> pending
Constructor Detail

Steensgaard.Location

public Steensgaard.Location()

Steensgaard.Location

public Steensgaard.Location(Target target)
Method Detail

getRoot

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

union

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

getIds

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

getPtrIds

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

getValue

public Steensgaard.Location getValue()

setValue

public void setValue(Steensgaard.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(Steensgaard.Location t)
ptr(t) <= this.alpha


setLe

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


setYptrLe

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


setXptrLe

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