|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.analysis.QuestionAnswerAdapter<EqualityMap<ALocalDecl,IntervalAnalysis.Interval>,IntervalAnalysis.Interval>
tip.cfg.dfa.IntervalAnalysis.Evaluator
public static class IntervalAnalysis.Evaluator
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 java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public IntervalAnalysis.Evaluator()
Method Detail |
---|
public IntervalAnalysis.Interval defaultNode(Node node, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
QuestionAnswerAdapter
Node
.
defaultNode
in class QuestionAnswerAdapter<EqualityMap<ALocalDecl,IntervalAnalysis.Interval>,IntervalAnalysis.Interval>
node
- the calling Node
sigma
- the question
Node
public IntervalAnalysis.Interval caseAIntConstExp(AIntConstExp node, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
QuestionAnswerAdapter
AIntConstExp
node. The call is deferred
to QuestionAnswerAdapter.defaultPExp(PExp,Object)
.
caseAIntConstExp
in interface QuestionAnswer<EqualityMap<ALocalDecl,IntervalAnalysis.Interval>,IntervalAnalysis.Interval>
caseAIntConstExp
in class QuestionAnswerAdapter<EqualityMap<ALocalDecl,IntervalAnalysis.Interval>,IntervalAnalysis.Interval>
node
- the calling AIntConstExp
nodesigma
- the question
AIntConstExp
nodepublic IntervalAnalysis.Interval caseAVarExp(AVarExp varExp, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
QuestionAnswerAdapter
AVarExp
node. The call is deferred
to QuestionAnswerAdapter.defaultPExp(PExp,Object)
.
caseAVarExp
in interface QuestionAnswer<EqualityMap<ALocalDecl,IntervalAnalysis.Interval>,IntervalAnalysis.Interval>
caseAVarExp
in class QuestionAnswerAdapter<EqualityMap<ALocalDecl,IntervalAnalysis.Interval>,IntervalAnalysis.Interval>
varExp
- the calling AVarExp
nodesigma
- the question
AVarExp
nodepublic IntervalAnalysis.Interval caseABinopExp(ABinopExp binopExp, EqualityMap<ALocalDecl,IntervalAnalysis.Interval> sigma)
QuestionAnswerAdapter
ABinopExp
node. The call is deferred
to QuestionAnswerAdapter.defaultPExp(PExp,Object)
.
caseABinopExp
in interface QuestionAnswer<EqualityMap<ALocalDecl,IntervalAnalysis.Interval>,IntervalAnalysis.Interval>
caseABinopExp
in class QuestionAnswerAdapter<EqualityMap<ALocalDecl,IntervalAnalysis.Interval>,IntervalAnalysis.Interval>
binopExp
- the calling ABinopExp
nodesigma
- the question
ABinopExp
node
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |