|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ICFGAnalysis
ICFGAnalysis
defines the interface for an analysis based on
IProgramPoint
. The interface is a visitor pattern.
Method Detail |
---|
boolean caseEntryPoint(Node node, EntryPoint point)
caseEntryPoint
is called by a EntryPoint
from
EntryPoint.apply(ICFGAnalysis)
.
node
- the Node
associated with point
point
- the EntryPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseExitPoint(Node node, ExitPoint point)
caseExitPoint
is called by a ExitPoint
from
ExitPoint.apply(ICFGAnalysis)
.
node
- the Node
associated with point
point
- the ExitPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCReturnStmPoint(AReturnStm node, CReturnStmPoint point)
caseCReturnStmPoint
is called by a CReturnStmPoint
from
CReturnStmPoint.apply(ICFGAnalysis)
.
node
- the AReturnStm
associated with point
point
- the CReturnStmPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCAssignPtrStmPoint(AAssignPtrStm node, CAssignPtrStmPoint point)
caseCAssignPtrStmPoint
is called by a CAssignPtrStmPoint
from
CAssignPtrStmPoint.apply(ICFGAnalysis)
.
node
- the AAssignPtrStm
associated with point
point
- the CAssignPtrStmPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCBlockPoint(ABlock node, CBlockPoint point)
caseCBlockPoint
is called by a CBlockPoint
from
CBlockPoint.apply(ICFGAnalysis)
.
node
- the ABlock
associated with point
point
- the CBlockPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCVarExpPoint(AVarExp node, CVarExpPoint point)
caseCVarExpPoint
is called by a CVarExpPoint
from
CVarExpPoint.apply(ICFGAnalysis)
.
node
- the AVarExp
associated with point
point
- the CVarExpPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCFunctionCallExpPoint(AFunctionCallExp node, CFunctionCallExpPoint point)
caseCFunctionCallExpPoint
is called by a CFunctionCallExpPoint
from
CFunctionCallExpPoint.apply(ICFGAnalysis)
.
node
- the AFunctionCallExp
associated with point
point
- the CFunctionCallExpPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCDerefExpPoint(ADerefExp node, CDerefExpPoint point)
caseCDerefExpPoint
is called by a CDerefExpPoint
from
CDerefExpPoint.apply(ICFGAnalysis)
.
node
- the ADerefExp
associated with point
point
- the CDerefExpPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCDeclStmPoint(ADeclStm node, CDeclStmPoint point)
caseCDeclStmPoint
is called by a CDeclStmPoint
from
CDeclStmPoint.apply(ICFGAnalysis)
.
node
- the ADeclStm
associated with point
point
- the CDeclStmPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCInputExpPoint(AInputExp node, CInputExpPoint point)
caseCInputExpPoint
is called by a CInputExpPoint
from
CInputExpPoint.apply(ICFGAnalysis)
.
node
- the AInputExp
associated with point
point
- the CInputExpPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCMallocExpPoint(AMallocExp node, CMallocExpPoint point)
caseCMallocExpPoint
is called by a CMallocExpPoint
from
CMallocExpPoint.apply(ICFGAnalysis)
.
node
- the AMallocExp
associated with point
point
- the CMallocExpPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCIfThenStmPoint(AIfThenStm node, CIfThenStmPoint point)
caseCIfThenStmPoint
is called by a CIfThenStmPoint
from
CIfThenStmPoint.apply(ICFGAnalysis)
.
node
- the AIfThenStm
associated with point
point
- the CIfThenStmPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCIntConstExpPoint(AIntConstExp node, CIntConstExpPoint point)
caseCIntConstExpPoint
is called by a CIntConstExpPoint
from
CIntConstExpPoint.apply(ICFGAnalysis)
.
node
- the AIntConstExp
associated with point
point
- the CIntConstExpPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCFunctionPtrCallExpPoint(AFunctionPtrCallExp node, CFunctionPtrCallExpPoint point)
caseCFunctionPtrCallExpPoint
is called by a CFunctionPtrCallExpPoint
from
CFunctionPtrCallExpPoint.apply(ICFGAnalysis)
.
node
- the AFunctionPtrCallExp
associated with point
point
- the CFunctionPtrCallExpPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCWhileStmPoint(AWhileStm node, CWhileStmPoint point)
caseCWhileStmPoint
is called by a CWhileStmPoint
from
CWhileStmPoint.apply(ICFGAnalysis)
.
node
- the AWhileStm
associated with point
point
- the CWhileStmPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCBinopExpPoint(ABinopExp node, CBinopExpPoint point)
caseCBinopExpPoint
is called by a CBinopExpPoint
from
CBinopExpPoint.apply(ICFGAnalysis)
.
node
- the ABinopExp
associated with point
point
- the CBinopExpPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCAssignVarStmPoint(AAssignVarStm node, CAssignVarStmPoint point)
caseCAssignVarStmPoint
is called by a CAssignVarStmPoint
from
CAssignVarStmPoint.apply(ICFGAnalysis)
.
node
- the AAssignVarStm
associated with point
point
- the CAssignVarStmPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCIfThenElseStmPoint(AIfThenElseStm node, CIfThenElseStmPoint point)
caseCIfThenElseStmPoint
is called by a CIfThenElseStmPoint
from
CIfThenElseStmPoint.apply(ICFGAnalysis)
.
node
- the AIfThenElseStm
associated with point
point
- the CIfThenElseStmPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCOutputStmPoint(AOutputStm node, COutputStmPoint point)
caseCOutputStmPoint
is called by a COutputStmPoint
from
COutputStmPoint.apply(ICFGAnalysis)
.
node
- the AOutputStm
associated with point
point
- the COutputStmPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCPointerExpPoint(APointerExp node, CPointerExpPoint point)
caseCPointerExpPoint
is called by a CPointerExpPoint
from
CPointerExpPoint.apply(ICFGAnalysis)
.
node
- the APointerExp
associated with point
point
- the CPointerExpPoint
calling the method
true
if the call resulted in a change of the analysisboolean caseCNullExpPoint(ANullExp node, CNullExpPoint point)
caseCNullExpPoint
is called by a CNullExpPoint
from
CNullExpPoint.apply(ICFGAnalysis)
.
node
- the ANullExp
associated with point
point
- the CNullExpPoint
calling the method
true
if the call resulted in a change of the analysis
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |