|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Q
- the type of the questionsA
- the type of the answerspublic interface CFGQuestionAnswer<Q,A>
CFGQuestionAnswer
defines an interface for the abstraction of answers
to questions based on a ICFG
. The interface is a visitor pattern.
Method Detail |
---|
A caseEntryPoint(Node node, EntryPoint point, Q question)
caseEntryPoint
is called by a EntryPoint
from
EntryPoint.apply(CFGQuestionAnswer,Object)
.
node
- the Node
associated with point
point
- the EntryPoint
calling the methodquestion
- the question
A caseExitPoint(Node node, ExitPoint point, Q question)
caseExitPoint
is called by a ExitPoint
from
ExitPoint.apply(CFGQuestionAnswer,Object)
.
node
- the Node
associated with point
point
- the ExitPoint
calling the methodquestion
- the question
A caseCReturnStmPoint(AReturnStm node, CReturnStmPoint point, Q question)
caseCReturnStmPoint
is called by a CReturnStmPoint
from
CReturnStmPoint.apply(CFGQuestionAnswer,Object)
.
node
- the AReturnStm
associated with point
point
- the CReturnStmPoint
calling the methodquestion
- the question
A caseCAssignPtrStmPoint(AAssignPtrStm node, CAssignPtrStmPoint point, Q question)
caseCAssignPtrStmPoint
is called by a CAssignPtrStmPoint
from
CAssignPtrStmPoint.apply(CFGQuestionAnswer,Object)
.
node
- the AAssignPtrStm
associated with point
point
- the CAssignPtrStmPoint
calling the methodquestion
- the question
A caseCBlockPoint(ABlock node, CBlockPoint point, Q question)
caseCBlockPoint
is called by a CBlockPoint
from
CBlockPoint.apply(CFGQuestionAnswer,Object)
.
node
- the ABlock
associated with point
point
- the CBlockPoint
calling the methodquestion
- the question
A caseCVarExpPoint(AVarExp node, CVarExpPoint point, Q question)
caseCVarExpPoint
is called by a CVarExpPoint
from
CVarExpPoint.apply(CFGQuestionAnswer,Object)
.
node
- the AVarExp
associated with point
point
- the CVarExpPoint
calling the methodquestion
- the question
A caseCFunctionCallExpPoint(AFunctionCallExp node, CFunctionCallExpPoint point, Q question)
caseCFunctionCallExpPoint
is called by a CFunctionCallExpPoint
from
CFunctionCallExpPoint.apply(CFGQuestionAnswer,Object)
.
node
- the AFunctionCallExp
associated with point
point
- the CFunctionCallExpPoint
calling the methodquestion
- the question
A caseCDerefExpPoint(ADerefExp node, CDerefExpPoint point, Q question)
caseCDerefExpPoint
is called by a CDerefExpPoint
from
CDerefExpPoint.apply(CFGQuestionAnswer,Object)
.
node
- the ADerefExp
associated with point
point
- the CDerefExpPoint
calling the methodquestion
- the question
A caseCDeclStmPoint(ADeclStm node, CDeclStmPoint point, Q question)
caseCDeclStmPoint
is called by a CDeclStmPoint
from
CDeclStmPoint.apply(CFGQuestionAnswer,Object)
.
node
- the ADeclStm
associated with point
point
- the CDeclStmPoint
calling the methodquestion
- the question
A caseCInputExpPoint(AInputExp node, CInputExpPoint point, Q question)
caseCInputExpPoint
is called by a CInputExpPoint
from
CInputExpPoint.apply(CFGQuestionAnswer,Object)
.
node
- the AInputExp
associated with point
point
- the CInputExpPoint
calling the methodquestion
- the question
A caseCMallocExpPoint(AMallocExp node, CMallocExpPoint point, Q question)
caseCMallocExpPoint
is called by a CMallocExpPoint
from
CMallocExpPoint.apply(CFGQuestionAnswer,Object)
.
node
- the AMallocExp
associated with point
point
- the CMallocExpPoint
calling the methodquestion
- the question
A caseCIfThenStmPoint(AIfThenStm node, CIfThenStmPoint point, Q question)
caseCIfThenStmPoint
is called by a CIfThenStmPoint
from
CIfThenStmPoint.apply(CFGQuestionAnswer,Object)
.
node
- the AIfThenStm
associated with point
point
- the CIfThenStmPoint
calling the methodquestion
- the question
A caseCIntConstExpPoint(AIntConstExp node, CIntConstExpPoint point, Q question)
caseCIntConstExpPoint
is called by a CIntConstExpPoint
from
CIntConstExpPoint.apply(CFGQuestionAnswer,Object)
.
node
- the AIntConstExp
associated with point
point
- the CIntConstExpPoint
calling the methodquestion
- the question
A caseCFunctionPtrCallExpPoint(AFunctionPtrCallExp node, CFunctionPtrCallExpPoint point, Q question)
caseCFunctionPtrCallExpPoint
is called by a CFunctionPtrCallExpPoint
from
CFunctionPtrCallExpPoint.apply(CFGQuestionAnswer,Object)
.
node
- the AFunctionPtrCallExp
associated with point
point
- the CFunctionPtrCallExpPoint
calling the methodquestion
- the question
A caseCWhileStmPoint(AWhileStm node, CWhileStmPoint point, Q question)
caseCWhileStmPoint
is called by a CWhileStmPoint
from
CWhileStmPoint.apply(CFGQuestionAnswer,Object)
.
node
- the AWhileStm
associated with point
point
- the CWhileStmPoint
calling the methodquestion
- the question
A caseCBinopExpPoint(ABinopExp node, CBinopExpPoint point, Q question)
caseCBinopExpPoint
is called by a CBinopExpPoint
from
CBinopExpPoint.apply(CFGQuestionAnswer,Object)
.
node
- the ABinopExp
associated with point
point
- the CBinopExpPoint
calling the methodquestion
- the question
A caseCAssignVarStmPoint(AAssignVarStm node, CAssignVarStmPoint point, Q question)
caseCAssignVarStmPoint
is called by a CAssignVarStmPoint
from
CAssignVarStmPoint.apply(CFGQuestionAnswer,Object)
.
node
- the AAssignVarStm
associated with point
point
- the CAssignVarStmPoint
calling the methodquestion
- the question
A caseCIfThenElseStmPoint(AIfThenElseStm node, CIfThenElseStmPoint point, Q question)
caseCIfThenElseStmPoint
is called by a CIfThenElseStmPoint
from
CIfThenElseStmPoint.apply(CFGQuestionAnswer,Object)
.
node
- the AIfThenElseStm
associated with point
point
- the CIfThenElseStmPoint
calling the methodquestion
- the question
A caseCOutputStmPoint(AOutputStm node, COutputStmPoint point, Q question)
caseCOutputStmPoint
is called by a COutputStmPoint
from
COutputStmPoint.apply(CFGQuestionAnswer,Object)
.
node
- the AOutputStm
associated with point
point
- the COutputStmPoint
calling the methodquestion
- the question
A caseCPointerExpPoint(APointerExp node, CPointerExpPoint point, Q question)
caseCPointerExpPoint
is called by a CPointerExpPoint
from
CPointerExpPoint.apply(CFGQuestionAnswer,Object)
.
node
- the APointerExp
associated with point
point
- the CPointerExpPoint
calling the methodquestion
- the question
A caseCNullExpPoint(ANullExp node, CNullExpPoint point, Q question)
caseCNullExpPoint
is called by a CNullExpPoint
from
CNullExpPoint.apply(CFGQuestionAnswer,Object)
.
node
- the ANullExp
associated with point
point
- the CNullExpPoint
calling the methodquestion
- the question
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |