Uses of Class
tip.cfg.cfa.Steensgaard.Location

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