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