|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.cfg.CFGAnalysisAdapter
tip.cfg.cfa.Interprocedural.FunctionCallConverter
private class Interprocedural.FunctionCallConverter
Field Summary | |
---|---|
private ICFG |
cfg
|
Constructor Summary | |
---|---|
Interprocedural.FunctionCallConverter(ICFG cfg)
|
Method Summary | |
---|---|
boolean |
caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
Default implementation. |
private ICFG |
linkMethods(TIdentifier assignId,
java.util.List<PExp> args,
java.util.Set<ICFG> calledCFGs)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private ICFG cfg
Constructor Detail |
---|
public Interprocedural.FunctionCallConverter(ICFG cfg)
Method Detail |
---|
private ICFG linkMethods(TIdentifier assignId, java.util.List<PExp> args, java.util.Set<ICFG> calledCFGs)
public boolean caseCAssignVarStmPoint(AAssignVarStm node, CAssignVarStmPoint point)
CFGAnalysisAdapter
CFGAnalysisAdapter.defaultNode(Node,IProgramPoint)
.
caseCAssignVarStmPoint
in interface ICFGAnalysis
caseCAssignVarStmPoint
in class CFGAnalysisAdapter
node
- the AAssignVarStm
associated with point
point
- the CAssignVarStmPoint
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 |