tip.cfg.cfa
Class Interprocedural.ReturnToAssign

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

private class Interprocedural.ReturnToAssign
extends CFGAnalysisAdapter


Field Summary
private  ICFG cfg
           
private  java.lang.String name
           
 
Constructor Summary
Interprocedural.ReturnToAssign(ICFG cfg, java.lang.String name)
           
 
Method Summary
 boolean caseCReturnStmPoint(AReturnStm node, CReturnStmPoint point)
          Default implementation.
 
Methods inherited from class tip.cfg.CFGAnalysisAdapter
caseCAssignPtrStmPoint, caseCAssignVarStmPoint, caseCBinopExpPoint, caseCBlockPoint, caseCDeclStmPoint, caseCDerefExpPoint, caseCFunctionCallExpPoint, caseCFunctionPtrCallExpPoint, caseCIfThenElseStmPoint, caseCIfThenStmPoint, caseCInputExpPoint, caseCIntConstExpPoint, caseCMallocExpPoint, caseCNullExpPoint, caseCOutputStmPoint, caseCPointerExpPoint, 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

name

private java.lang.String name
Constructor Detail

Interprocedural.ReturnToAssign

public Interprocedural.ReturnToAssign(ICFG cfg,
                                      java.lang.String name)
Method Detail

caseCReturnStmPoint

public boolean caseCReturnStmPoint(AReturnStm node,
                                   CReturnStmPoint point)
Description copied from class: CFGAnalysisAdapter
Default implementation. Calls CFGAnalysisAdapter.defaultNode(Node,IProgramPoint).

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