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