|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use OneLevelFlow.Location | |
---|---|
tip.cfg.cfa | Provides a collection of control flow analyses for TIP programs. |
Uses of OneLevelFlow.Location in tip.cfg.cfa |
---|
Fields in tip.cfg.cfa declared as OneLevelFlow.Location | |
---|---|
private OneLevelFlow.Location |
OneLevelFlow.Location.alpha
|
Fields in tip.cfg.cfa with type parameters of type OneLevelFlow.Location | |
---|---|
private java.util.Map<PDecl,OneLevelFlow.Location> |
OneLevelFlow.declToLocationMap
|
private java.util.Set<OneLevelFlow.Location> |
OneLevelFlow.Location.flow
|
private java.util.Set<OneLevelFlow.Location> |
OneLevelFlow.Location.pending
|
Methods in tip.cfg.cfa that return OneLevelFlow.Location | |
---|---|
private OneLevelFlow.Location |
OneLevelFlow.getLocation(PDecl decl)
|
OneLevelFlow.Location |
OneLevelFlow.Location.getRoot()
|
OneLevelFlow.Location |
OneLevelFlow.Location.getValue()
|
OneLevelFlow.Location |
OneLevelFlow.Location.union(UnionFind e)
|
Methods in tip.cfg.cfa with parameters of type OneLevelFlow.Location | |
---|---|
void |
OneLevelFlow.Location.setLe(OneLevelFlow.Location y)
y.alpha <= this.alpha |
void |
OneLevelFlow.Location.setPtr(OneLevelFlow.Location t)
ptr(t) <= this.alpha |
void |
OneLevelFlow.Location.setValue(OneLevelFlow.Location alpha)
|
void |
OneLevelFlow.Location.setXptrLe(OneLevelFlow.Location y)
y.alpha <= this.ptr.alpha |
void |
OneLevelFlow.Location.setYptrLe(OneLevelFlow.Location y)
y.ptr.alpha <= this.alpha |
Method parameters in tip.cfg.cfa with type arguments of type OneLevelFlow.Location | |
---|---|
private java.util.Set<Target> |
OneLevelFlow.Location.getTargetIds(java.util.Set<OneLevelFlow.Location> visitedSet,
java.util.Set<Target> targets)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |