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