|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.cfg.CFGAnalysisAdapter
public class CFGAnalysisAdapter
CFGAnalysisAdapter
implements ICFGAnalysis
by defering all
case
-methods to defaultNode(Node,IProgramPoint)
.
Constructor Summary | |
---|---|
CFGAnalysisAdapter()
|
Method Summary | |
---|---|
boolean |
caseCAssignPtrStmPoint(AAssignPtrStm node,
CAssignPtrStmPoint point)
Default implementation. |
boolean |
caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
Default implementation. |
boolean |
caseCBinopExpPoint(ABinopExp node,
CBinopExpPoint point)
Default implementation. |
boolean |
caseCBlockPoint(ABlock node,
CBlockPoint point)
Default implementation. |
boolean |
caseCDeclStmPoint(ADeclStm node,
CDeclStmPoint point)
Default implementation. |
boolean |
caseCDerefExpPoint(ADerefExp node,
CDerefExpPoint point)
Default implementation. |
boolean |
caseCFunctionCallExpPoint(AFunctionCallExp node,
CFunctionCallExpPoint point)
Default implementation. |
boolean |
caseCFunctionPtrCallExpPoint(AFunctionPtrCallExp node,
CFunctionPtrCallExpPoint point)
Default implementation. |
boolean |
caseCIfThenElseStmPoint(AIfThenElseStm node,
CIfThenElseStmPoint point)
Default implementation. |
boolean |
caseCIfThenStmPoint(AIfThenStm node,
CIfThenStmPoint point)
Default implementation. |
boolean |
caseCInputExpPoint(AInputExp node,
CInputExpPoint point)
Default implementation. |
boolean |
caseCIntConstExpPoint(AIntConstExp node,
CIntConstExpPoint point)
Default implementation. |
boolean |
caseCMallocExpPoint(AMallocExp node,
CMallocExpPoint point)
Default implementation. |
boolean |
caseCNullExpPoint(ANullExp node,
CNullExpPoint point)
Default implementation. |
boolean |
caseCOutputStmPoint(AOutputStm node,
COutputStmPoint point)
Default implementation. |
boolean |
caseCPointerExpPoint(APointerExp node,
CPointerExpPoint point)
Default implementation. |
boolean |
caseCReturnStmPoint(AReturnStm node,
CReturnStmPoint point)
Default implementation. |
boolean |
caseCVarExpPoint(AVarExp node,
CVarExpPoint point)
Default implementation. |
boolean |
caseCWhileStmPoint(AWhileStm node,
CWhileStmPoint point)
Default implementation. |
boolean |
caseEntryPoint(Node node,
EntryPoint point)
Default implementation. |
boolean |
caseExitPoint(Node node,
ExitPoint point)
Default implementation. |
boolean |
defaultNode(Node node,
IProgramPoint point)
Base implementation for all case -methods. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public CFGAnalysisAdapter()
Method Detail |
---|
public boolean defaultNode(Node node, IProgramPoint point)
case
-methods. Returns false
.
node
- the Node
associated with point
point
- the IProgramPoint
calling the method
true
if the result of the analysis is changed.public boolean caseEntryPoint(Node node, EntryPoint point)
defaultNode(Node,IProgramPoint)
.
caseEntryPoint
in interface ICFGAnalysis
node
- the Node
associated with point
point
- the EntryPoint
calling the method
true
if the result of the analysis is changed.public boolean caseExitPoint(Node node, ExitPoint point)
defaultNode(Node,IProgramPoint)
.
caseExitPoint
in interface ICFGAnalysis
node
- the Node
associated with point
point
- the ExitPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCReturnStmPoint(AReturnStm node, CReturnStmPoint point)
defaultNode(Node,IProgramPoint)
.
caseCReturnStmPoint
in interface ICFGAnalysis
node
- the AReturnStm
associated with point
point
- the CReturnStmPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCAssignPtrStmPoint(AAssignPtrStm node, CAssignPtrStmPoint point)
defaultNode(Node,IProgramPoint)
.
caseCAssignPtrStmPoint
in interface ICFGAnalysis
node
- the AAssignPtrStm
associated with point
point
- the CAssignPtrStmPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCBlockPoint(ABlock node, CBlockPoint point)
defaultNode(Node,IProgramPoint)
.
caseCBlockPoint
in interface ICFGAnalysis
node
- the ABlock
associated with point
point
- the CBlockPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCVarExpPoint(AVarExp node, CVarExpPoint point)
defaultNode(Node,IProgramPoint)
.
caseCVarExpPoint
in interface ICFGAnalysis
node
- the AVarExp
associated with point
point
- the CVarExpPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCFunctionCallExpPoint(AFunctionCallExp node, CFunctionCallExpPoint point)
defaultNode(Node,IProgramPoint)
.
caseCFunctionCallExpPoint
in interface ICFGAnalysis
node
- the AFunctionCallExp
associated with point
point
- the CFunctionCallExpPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCDerefExpPoint(ADerefExp node, CDerefExpPoint point)
defaultNode(Node,IProgramPoint)
.
caseCDerefExpPoint
in interface ICFGAnalysis
node
- the ADerefExp
associated with point
point
- the CDerefExpPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCDeclStmPoint(ADeclStm node, CDeclStmPoint point)
defaultNode(Node,IProgramPoint)
.
caseCDeclStmPoint
in interface ICFGAnalysis
node
- the ADeclStm
associated with point
point
- the CDeclStmPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCInputExpPoint(AInputExp node, CInputExpPoint point)
defaultNode(Node,IProgramPoint)
.
caseCInputExpPoint
in interface ICFGAnalysis
node
- the AInputExp
associated with point
point
- the CInputExpPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCMallocExpPoint(AMallocExp node, CMallocExpPoint point)
defaultNode(Node,IProgramPoint)
.
caseCMallocExpPoint
in interface ICFGAnalysis
node
- the AMallocExp
associated with point
point
- the CMallocExpPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCIfThenStmPoint(AIfThenStm node, CIfThenStmPoint point)
defaultNode(Node,IProgramPoint)
.
caseCIfThenStmPoint
in interface ICFGAnalysis
node
- the AIfThenStm
associated with point
point
- the CIfThenStmPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCIntConstExpPoint(AIntConstExp node, CIntConstExpPoint point)
defaultNode(Node,IProgramPoint)
.
caseCIntConstExpPoint
in interface ICFGAnalysis
node
- the AIntConstExp
associated with point
point
- the CIntConstExpPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCFunctionPtrCallExpPoint(AFunctionPtrCallExp node, CFunctionPtrCallExpPoint point)
defaultNode(Node,IProgramPoint)
.
caseCFunctionPtrCallExpPoint
in interface ICFGAnalysis
node
- the AFunctionPtrCallExp
associated with point
point
- the CFunctionPtrCallExpPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCWhileStmPoint(AWhileStm node, CWhileStmPoint point)
defaultNode(Node,IProgramPoint)
.
caseCWhileStmPoint
in interface ICFGAnalysis
node
- the AWhileStm
associated with point
point
- the CWhileStmPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCBinopExpPoint(ABinopExp node, CBinopExpPoint point)
defaultNode(Node,IProgramPoint)
.
caseCBinopExpPoint
in interface ICFGAnalysis
node
- the ABinopExp
associated with point
point
- the CBinopExpPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCAssignVarStmPoint(AAssignVarStm node, CAssignVarStmPoint point)
defaultNode(Node,IProgramPoint)
.
caseCAssignVarStmPoint
in interface ICFGAnalysis
node
- the AAssignVarStm
associated with point
point
- the CAssignVarStmPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCIfThenElseStmPoint(AIfThenElseStm node, CIfThenElseStmPoint point)
defaultNode(Node,IProgramPoint)
.
caseCIfThenElseStmPoint
in interface ICFGAnalysis
node
- the AIfThenElseStm
associated with point
point
- the CIfThenElseStmPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCOutputStmPoint(AOutputStm node, COutputStmPoint point)
defaultNode(Node,IProgramPoint)
.
caseCOutputStmPoint
in interface ICFGAnalysis
node
- the AOutputStm
associated with point
point
- the COutputStmPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCPointerExpPoint(APointerExp node, CPointerExpPoint point)
defaultNode(Node,IProgramPoint)
.
caseCPointerExpPoint
in interface ICFGAnalysis
node
- the APointerExp
associated with point
point
- the CPointerExpPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCNullExpPoint(ANullExp node, CNullExpPoint point)
defaultNode(Node,IProgramPoint)
.
caseCNullExpPoint
in interface ICFGAnalysis
node
- the ANullExp
associated with point
point
- the CNullExpPoint
calling the method
true
if the result of the analysis is changed.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |