tip.cfg.dfa
Class ConstantPropagationAnalysis.Evaluator

java.lang.Object
  extended by tip.analysis.QuestionAnswerAdapter<Map<ALocalDecl,ConstantPropagationAnalysis.Const>,ConstantPropagationAnalysis.Const>
      extended by tip.cfg.dfa.ConstantPropagationAnalysis.Evaluator
All Implemented Interfaces:
QuestionAnswer<Map<ALocalDecl,ConstantPropagationAnalysis.Const>,ConstantPropagationAnalysis.Const>
Enclosing class:
ConstantPropagationAnalysis

public static class ConstantPropagationAnalysis.Evaluator
extends QuestionAnswerAdapter<Map<ALocalDecl,ConstantPropagationAnalysis.Const>,ConstantPropagationAnalysis.Const>


Constructor Summary
ConstantPropagationAnalysis.Evaluator()
           
 
Method Summary
 ConstantPropagationAnalysis.Const caseABinopExp(ABinopExp e, Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
          Returns the default answer for a ABinopExp node.
 ConstantPropagationAnalysis.Const caseAIntConstExp(AIntConstExp e, Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
          Returns the default answer for a AIntConstExp node.
 ConstantPropagationAnalysis.Const caseAVarExp(AVarExp e, Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
          Returns the default answer for a AVarExp node.
 ConstantPropagationAnalysis.Const defaultNode(Node node, Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
          Returns the default answer for a Node.
 
Methods inherited from class tip.analysis.QuestionAnswerAdapter
caseABlock, caseABlockStm, caseABody, caseADeclStm, caseADerefExp, caseADivideBinop, caseAEqBinop, caseAFuncDecl, caseAFunctionCallExp, caseAFunctionPtrCallExp, caseAGtBinop, caseAIfThenElseStm, caseAIfThenStm, caseAInputExp, caseALocalDecl, caseAMallocExp, caseAMinusBinop, caseANullExp, caseAOutputStm, caseAPlusBinop, caseAPointerExp, caseAProgram, caseAReturnStm, caseATimesBinop, caseAWhileStm, caseEOF, caseStart, caseTAnd, caseTAssign, caseTComma, caseTCommentBlock, caseTCommentSingle, caseTDiv, caseTElse, caseTEq, caseTGt, caseTIdentifier, caseTIf, caseTInput, caseTIntegerConst, caseTLBrace, caseTLPar, caseTMalloc, caseTMinus, caseTNull, caseTOutput, caseTPlus, caseTRBrace, caseTReturn, caseTRPar, caseTSemicolon, caseTStar, caseTVar, caseTWhile, caseTWhiteSpace, caseAAssignPtrStm, caseAAssignVarStm, defaultPBinop, defaultPBlock, defaultPBody, defaultPDecl, defaultPExp, defaultPProgram, defaultPStm, defaultToken
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ConstantPropagationAnalysis.Evaluator

public ConstantPropagationAnalysis.Evaluator()
Method Detail

defaultNode

public ConstantPropagationAnalysis.Const defaultNode(Node node,
                                                     Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a Node.

Overrides:
defaultNode in class QuestionAnswerAdapter<Map<ALocalDecl,ConstantPropagationAnalysis.Const>,ConstantPropagationAnalysis.Const>
Parameters:
node - the calling Node
env - the question
Returns:
the default answer for a Node

caseABinopExp

public ConstantPropagationAnalysis.Const caseABinopExp(ABinopExp e,
                                                       Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a ABinopExp node. The call is deferred to QuestionAnswerAdapter.defaultPExp(PExp,Object).

Specified by:
caseABinopExp in interface QuestionAnswer<Map<ALocalDecl,ConstantPropagationAnalysis.Const>,ConstantPropagationAnalysis.Const>
Overrides:
caseABinopExp in class QuestionAnswerAdapter<Map<ALocalDecl,ConstantPropagationAnalysis.Const>,ConstantPropagationAnalysis.Const>
Parameters:
e - the calling ABinopExp node
env - the question
Returns:
the default answer for a ABinopExp node

caseAIntConstExp

public ConstantPropagationAnalysis.Const caseAIntConstExp(AIntConstExp e,
                                                          Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AIntConstExp node. The call is deferred to QuestionAnswerAdapter.defaultPExp(PExp,Object).

Specified by:
caseAIntConstExp in interface QuestionAnswer<Map<ALocalDecl,ConstantPropagationAnalysis.Const>,ConstantPropagationAnalysis.Const>
Overrides:
caseAIntConstExp in class QuestionAnswerAdapter<Map<ALocalDecl,ConstantPropagationAnalysis.Const>,ConstantPropagationAnalysis.Const>
Parameters:
e - the calling AIntConstExp node
env - the question
Returns:
the default answer for a AIntConstExp node

caseAVarExp

public ConstantPropagationAnalysis.Const caseAVarExp(AVarExp e,
                                                     Map<ALocalDecl,ConstantPropagationAnalysis.Const> env)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a AVarExp node. The call is deferred to QuestionAnswerAdapter.defaultPExp(PExp,Object).

Specified by:
caseAVarExp in interface QuestionAnswer<Map<ALocalDecl,ConstantPropagationAnalysis.Const>,ConstantPropagationAnalysis.Const>
Overrides:
caseAVarExp in class QuestionAnswerAdapter<Map<ALocalDecl,ConstantPropagationAnalysis.Const>,ConstantPropagationAnalysis.Const>
Parameters:
e - the calling AVarExp node
env - the question
Returns:
the default answer for a AVarExp node