Uses of Class
tip.cfg.dfa.ShapeAnalysis.TargetPair

Packages that use ShapeAnalysis.TargetPair
tip.cfg.dfa Provides a collection of data flow analyses for TIP programs. 
 

Uses of ShapeAnalysis.TargetPair in tip.cfg.dfa
 

Methods in tip.cfg.dfa that return types with arguments of type ShapeAnalysis.TargetPair
protected  Lattice<EqualitySet<ShapeAnalysis.TargetPair>> ShapeAnalysis.createLattice(ICFG cfg)
           
protected  EqualitySet<ShapeAnalysis.TargetPair> ShapeAnalysis.downarrow(EqualitySet<ShapeAnalysis.TargetPair> join, ALocalDecl decl)
           
protected  EqualitySet<ShapeAnalysis.TargetPair> ShapeAnalysis.downarrow(EqualitySet<ShapeAnalysis.TargetPair> join, Target t)
           
 

Method parameters in tip.cfg.dfa with type arguments of type ShapeAnalysis.TargetPair
protected  EqualitySet<ShapeAnalysis.TargetPair> ShapeAnalysis.downarrow(EqualitySet<ShapeAnalysis.TargetPair> join, ALocalDecl decl)
           
protected  EqualitySet<ShapeAnalysis.TargetPair> ShapeAnalysis.downarrow(EqualitySet<ShapeAnalysis.TargetPair> join, Target t)
           
 java.lang.String ShapeAnalysis.getVariableString(EqualitySet<ShapeAnalysis.TargetPair> variable)