tip.cfg.dfa
Class IntervalAnalysis.Evaluator

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

public static class IntervalAnalysis.Evaluator
extends QuestionAnswerAdapter<EqualityMap<ALocalDecl,IntervalAnalysis.Interval>,IntervalAnalysis.Interval>


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

IntervalAnalysis.Evaluator

public IntervalAnalysis.Evaluator()
Method Detail

defaultNode

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

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

caseAIntConstExp

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

caseAVarExp

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

caseABinopExp

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