|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CBinopExpPoint | |
---|---|
tip.cfg | Provides the basic framework for performing fixed-point analyses of TIP programs. |
Uses of CBinopExpPoint in tip.cfg |
---|
Methods in tip.cfg that return CBinopExpPoint | |
---|---|
CBinopExpPoint |
CBinopExpPoint.clone()
Returns a clone of the program point with no predecessors or successors. |
Methods in tip.cfg with parameters of type CBinopExpPoint | |
---|---|
boolean |
ICFGAnalysis.caseCBinopExpPoint(ABinopExp node,
CBinopExpPoint point)
caseCBinopExpPoint is called by a CBinopExpPoint from
apply(ICFGAnalysis) . |
A |
CFGAnswerAdapter.caseCBinopExpPoint(ABinopExp node,
CBinopExpPoint point)
Default implementation. |
A |
CFGAnswer.caseCBinopExpPoint(ABinopExp node,
CBinopExpPoint point)
caseCBinopExpPoint is called by a CBinopExpPoint from
apply(CFGAnswer) . |
boolean |
CFGAnalysisAdapter.caseCBinopExpPoint(ABinopExp node,
CBinopExpPoint point)
Default implementation. |
A |
CFGQuestionAnswerAdapter.caseCBinopExpPoint(ABinopExp node,
CBinopExpPoint point,
Q question)
Default implementation. |
A |
CFGQuestionAnswer.caseCBinopExpPoint(ABinopExp node,
CBinopExpPoint point,
Q question)
caseCBinopExpPoint is called by a CBinopExpPoint from
apply(CFGQuestionAnswer,Object) . |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |