Uses of Class
tip.util.EqualityMap

Packages that use EqualityMap
tip.cfg Provides the basic framework for performing fixed-point analyses of TIP programs. 
tip.cfg.dfa Provides a collection of data flow analyses for TIP programs. 
tip.util Provides utility classes for the TIP compiler. 
 

Uses of EqualityMap in tip.cfg
 

Methods in tip.cfg that return EqualityMap
 EqualityMap<A,L> MapLattice.getLeastUpperBound(EqualityMap<A,L> a, EqualityMap<A,L> b)
          Returns the least upper bound of the maps a and b according to this map lattice.
 EqualityMap<A,L> MapLattice.getSmallestElement()
          Returns the smallest element of this map lattice.
 

Methods in tip.cfg with parameters of type EqualityMap
 boolean MapLattice.equals(EqualityMap<A,L> a, EqualityMap<A,L> b)
          Returns true if the maps a and b represent the same element in this map lattice.
 boolean MapLattice.equals(EqualityMap<A,L> a, EqualityMap<A,L> b)
          Returns true if the maps a and b represent the same element in this map lattice.
 EqualityMap<A,L> MapLattice.getLeastUpperBound(EqualityMap<A,L> a, EqualityMap<A,L> b)
          Returns the least upper bound of the maps a and b according to this map lattice.
 EqualityMap<A,L> MapLattice.getLeastUpperBound(EqualityMap<A,L> a, EqualityMap<A,L> b)
          Returns the least upper bound of the maps a and b according to this map lattice.
 int MapLattice.hashCode(EqualityMap<A,L> a)
          Returns the hashcode for the map a according to this map lattice.
 

Uses of EqualityMap in tip.cfg.dfa
 

Methods in tip.cfg.dfa with parameters of type EqualityMap
 IntervalAnalysis.Interval IntervalAnalysis.Evaluator.caseABinopExp(ABinopExp binopExp, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
           
 SignAnalysis.Sign SignAnalysis.Evaluator.caseABinopExp(ABinopExp node, EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
           
 IntervalAnalysis.Interval IntervalAnalysis.Evaluator.caseAIntConstExp(AIntConstExp node, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
           
 SignAnalysis.Sign SignAnalysis.Evaluator.caseAIntConstExp(AIntConstExp node, EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
           
 IntervalAnalysis.Interval IntervalAnalysis.Evaluator.caseAVarExp(AVarExp varExp, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
           
 SignAnalysis.Sign SignAnalysis.Evaluator.caseAVarExp(AVarExp node, EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
           
 IntervalAnalysis.Interval IntervalAnalysis.Evaluator.defaultNode(Node node, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
           
 SignAnalysis.Sign SignAnalysis.Evaluator.defaultNode(Node node, EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
           
 IntervalAnalysis.Interval IntervalAnalysis.eval(EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma, PExp exp)
           
 String ConstantPropagationAnalysis.getVariableString(EqualityMap<ALocalDecl,ConstantPropagationAnalysis.Const> variable)
           
 String IntervalAnalysis.getVariableString(EqualityMap<ALocalDecl,IntervalAnalysis.Interval> variable)
           
 String NullPointerAnalysis.getVariableString(EqualityMap<ALocalDecl,NullPointerAnalysis.Null> variable)
           
 String SignAnalysis.getVariableString(EqualityMap<ALocalDecl,SignAnalysis.Sign> variable)
           
 

Uses of EqualityMap in tip.util
 

Methods in tip.util that return EqualityMap
 EqualityMap<K,V> EqualityMap.clone()