Uses of Class
tip.cfg.dfa.ConstantPropagationAnalysis.Const

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

Uses of ConstantPropagationAnalysis.Const in tip.cfg.dfa
 

Fields in tip.cfg.dfa declared as ConstantPropagationAnalysis.Const
static ConstantPropagationAnalysis.Const ConstantPropagationAnalysis.Const.UNKNOWN
           
static ConstantPropagationAnalysis.Const ConstantPropagationAnalysis.Const.VARIABLE
           
 

Methods in tip.cfg.dfa that return ConstantPropagationAnalysis.Const
 ConstantPropagationAnalysis.Const ConstantPropagationAnalysis.Evaluator.caseABinopExp(ABinopExp e, Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
           
 ConstantPropagationAnalysis.Const ConstantPropagationAnalysis.Evaluator.caseAIntConstExp(AIntConstExp e, Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
           
 ConstantPropagationAnalysis.Const ConstantPropagationAnalysis.Evaluator.caseAVarExp(AVarExp e, Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
           
 ConstantPropagationAnalysis.Const ConstantPropagationAnalysis.Evaluator.defaultNode(Node node, Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
           
 ConstantPropagationAnalysis.Const ConstantPropagationAnalysis.ConstLattice.getLeastUpperBound(ConstantPropagationAnalysis.Const a, ConstantPropagationAnalysis.Const b)
           
 ConstantPropagationAnalysis.Const ConstantPropagationAnalysis.ConstLattice.getSmallestElement()
           
 

Methods in tip.cfg.dfa with parameters of type ConstantPropagationAnalysis.Const
 boolean ConstantPropagationAnalysis.ConstLattice.equals(ConstantPropagationAnalysis.Const a, ConstantPropagationAnalysis.Const b)
           
 ConstantPropagationAnalysis.Const ConstantPropagationAnalysis.ConstLattice.getLeastUpperBound(ConstantPropagationAnalysis.Const a, ConstantPropagationAnalysis.Const b)
           
 int ConstantPropagationAnalysis.ConstLattice.hashCode(ConstantPropagationAnalysis.Const a)
           
 

Method parameters in tip.cfg.dfa with type arguments of type ConstantPropagationAnalysis.Const
 ConstantPropagationAnalysis.Const ConstantPropagationAnalysis.Evaluator.caseABinopExp(ABinopExp e, Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
           
 ConstantPropagationAnalysis.Const ConstantPropagationAnalysis.Evaluator.caseAIntConstExp(AIntConstExp e, Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
           
 ConstantPropagationAnalysis.Const ConstantPropagationAnalysis.Evaluator.caseAVarExp(AVarExp e, Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
           
 ConstantPropagationAnalysis.Const ConstantPropagationAnalysis.Evaluator.defaultNode(Node node, Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
           
 String ConstantPropagationAnalysis.getVariableString(EqualityMap<ALocalDecl,ConstantPropagationAnalysis.Const> variable)