tip.cfg.cfa
Class Steensgaard.Location
java.lang.Object
tip.cfg.UnionFind
tip.cfg.cfa.Steensgaard.Location
- Enclosing class:
- Steensgaard
private static class Steensgaard.Location
- extends UnionFind
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
phi
private java.util.Set<Target> phi
alpha
private Steensgaard.Location alpha
pending
private java.util.Set<Steensgaard.Location> pending
Steensgaard.Location
public Steensgaard.Location()
Steensgaard.Location
public Steensgaard.Location(Target target)
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