tip.cfg.cfa
Class Interprocedural.FunctionCallConverter

java.lang.Object
  extended by tip.cfg.CFGAnalysisAdapter
      extended by tip.cfg.cfa.Interprocedural.FunctionCallConverter
All Implemented Interfaces:
ICFGAnalysis
Enclosing class:
Interprocedural

private class Interprocedural.FunctionCallConverter
extends CFGAnalysisAdapter


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 tip.cfg.CFGAnalysisAdapter
caseCAssignPtrStmPoint, caseCBinopExpPoint, caseCBlockPoint, caseCDeclStmPoint, caseCDerefExpPoint, caseCFunctionCallExpPoint, caseCFunctionPtrCallExpPoint, caseCIfThenElseStmPoint, caseCIfThenStmPoint, caseCInputExpPoint, caseCIntConstExpPoint, caseCMallocExpPoint, caseCNullExpPoint, caseCOutputStmPoint, caseCPointerExpPoint, caseCReturnStmPoint, caseCVarExpPoint, caseCWhileStmPoint, caseEntryPoint, caseExitPoint, defaultNode
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

cfg

private ICFG cfg
Constructor Detail

Interprocedural.FunctionCallConverter

public Interprocedural.FunctionCallConverter(ICFG cfg)
Method Detail

linkMethods

private ICFG linkMethods(TIdentifier assignId,
                         java.util.List<PExp> args,
                         java.util.Set<ICFG> calledCFGs)

caseCAssignVarStmPoint

public boolean caseCAssignVarStmPoint(AAssignVarStm node,
                                      CAssignVarStmPoint point)
Description copied from class: CFGAnalysisAdapter
Default implementation. Calls CFGAnalysisAdapter.defaultNode(Node,IProgramPoint).

Specified by:
caseCAssignVarStmPoint in interface ICFGAnalysis
Overrides:
caseCAssignVarStmPoint in class CFGAnalysisAdapter
Parameters:
node - the AAssignVarStm associated with point
point - the CAssignVarStmPoint calling the method
Returns:
true if the result of the analysis is changed.