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

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)