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