tip.cfg.dfa
Class SignAnalysis.Evaluator

java.lang.Object
  extended by tip.analysis.QuestionAnswerAdapter<EqualityMap<ALocalDecl,SignAnalysis.Sign>,SignAnalysis.Sign>
      extended by tip.cfg.dfa.SignAnalysis.Evaluator
All Implemented Interfaces:
QuestionAnswer<EqualityMap<ALocalDecl,SignAnalysis.Sign>,SignAnalysis.Sign>
Enclosing class:
SignAnalysis

public static class SignAnalysis.Evaluator
extends QuestionAnswerAdapter<EqualityMap<ALocalDecl,SignAnalysis.Sign>,SignAnalysis.Sign>


Constructor Summary
SignAnalysis.Evaluator()
           
 
Method Summary
 SignAnalysis.Sign caseABinopExp(ABinopExp node, EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
          Returns the default answer for a ABinopExp node.
 SignAnalysis.Sign caseAIntConstExp(AIntConstExp node, EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
          Returns the default answer for a AIntConstExp node.
 SignAnalysis.Sign caseAVarExp(AVarExp node, EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
          Returns the default answer for a AVarExp node.
 SignAnalysis.Sign defaultNode(Node node, EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
          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

SignAnalysis.Evaluator

public SignAnalysis.Evaluator()
Method Detail

defaultNode

public SignAnalysis.Sign defaultNode(Node node,
                                     EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
Description copied from class: QuestionAnswerAdapter
Returns the default answer for a Node.

Overrides:
defaultNode in class QuestionAnswerAdapter<EqualityMap<ALocalDecl,SignAnalysis.Sign>,SignAnalysis.Sign>
Parameters:
node - the calling Node
map - the question
Returns:
the default answer for a Node

caseAVarExp

public SignAnalysis.Sign caseAVarExp(AVarExp node,
                                     EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
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<EqualityMap<ALocalDecl,SignAnalysis.Sign>,SignAnalysis.Sign>
Overrides:
caseAVarExp in class QuestionAnswerAdapter<EqualityMap<ALocalDecl,SignAnalysis.Sign>,SignAnalysis.Sign>
Parameters:
node - the calling AVarExp node
map - the question
Returns:
the default answer for a AVarExp node

caseAIntConstExp

public SignAnalysis.Sign caseAIntConstExp(AIntConstExp node,
                                          EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
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<EqualityMap<ALocalDecl,SignAnalysis.Sign>,SignAnalysis.Sign>
Overrides:
caseAIntConstExp in class QuestionAnswerAdapter<EqualityMap<ALocalDecl,SignAnalysis.Sign>,SignAnalysis.Sign>
Parameters:
node - the calling AIntConstExp node
map - the question
Returns:
the default answer for a AIntConstExp node

caseABinopExp

public SignAnalysis.Sign caseABinopExp(ABinopExp node,
                                       EqualityMap<ALocalDecl,SignAnalysis.Sign> map)
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<EqualityMap<ALocalDecl,SignAnalysis.Sign>,SignAnalysis.Sign>
Overrides:
caseABinopExp in class QuestionAnswerAdapter<EqualityMap<ALocalDecl,SignAnalysis.Sign>,SignAnalysis.Sign>
Parameters:
node - the calling ABinopExp node
map - the question
Returns:
the default answer for a ABinopExp node