tip.cfg.cfa
Class OneLevelFlow.Location
java.lang.Object
tip.cfg.UnionFind
tip.cfg.cfa.OneLevelFlow.Location
- Enclosing class:
- OneLevelFlow
private static class OneLevelFlow.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 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
OneLevelFlow.Location
public OneLevelFlow.Location()
OneLevelFlow.Location
public OneLevelFlow.Location(Target target)
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