ROSE  0.9.6a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
ContextInsensitiveInterProceduralDataflow Class Reference

#include <dataflow.h>

Inheritance diagram for ContextInsensitiveInterProceduralDataflow:
Collaboration diagram for ContextInsensitiveInterProceduralDataflow:

Public Member Functions

 ContextInsensitiveInterProceduralDataflow (IntraProceduralDataflow *intraDataflowAnalysis, SgIncidenceDirectedGraph *graph)
 
bool transfer (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo, std::vector< Lattice * > **retState, bool fw)
 
void runAnalysis ()
 
void visit (const CGFunction *func)
 
- Public Member Functions inherited from InterProceduralDataflow
 InterProceduralDataflow (IntraProceduralDataflow *intraDataflowAnalysis)
 
- Public Member Functions inherited from TraverseCallGraphDataflow
 TraverseCallGraphDataflow (SgIncidenceDirectedGraph *graph)
 
void traverse ()
 
void addToRemaining (const CGFunction *func)
 
virtual ~TraverseCallGraphDataflow ()
 
- Public Member Functions inherited from TraverseCallGraph
 TraverseCallGraph (SgIncidenceDirectedGraph *graph)
 
const CGFunctiongetFunc (SgFunctionDeclaration *decl)
 
const CGFunctiongetFunc (const Function &func)
 

Private Attributes

std::set< FunctionremainingDueToCallers
 
std::map< Function, std::set
< Function > > 
remainingDueToCalls
 

Additional Inherited Members

- Public Attributes inherited from Analysis
bool(* filter )(CFGNode cfgn)
 
- Public Attributes inherited from TraverseCallGraphDataflow
std::list< const CGFunction * > remaining
 
- Protected Member Functions inherited from InterProceduralAnalysis
 InterProceduralAnalysis (IntraProceduralAnalysis *intraAnalysis)
 
virtual ~InterProceduralAnalysis ()
 
- Protected Attributes inherited from InterProceduralAnalysis
IntraProceduralAnalysisintraAnalysis
 
- Protected Attributes inherited from TraverseCallGraph
SgIncidenceDirectedGraphgraph
 
std::set< CGFunctionfunctions
 
std::map< const CGFunction *, int > numCallers
 
std::set< const CGFunction * > noPred
 

Detailed Description

Definition at line 463 of file dataflow.h.

Constructor & Destructor Documentation

ContextInsensitiveInterProceduralDataflow::ContextInsensitiveInterProceduralDataflow ( IntraProceduralDataflow intraDataflowAnalysis,
SgIncidenceDirectedGraph graph 
)

Member Function Documentation

bool ContextInsensitiveInterProceduralDataflow::transfer ( const Function func,
const DataflowNode n,
NodeState state,
const std::vector< Lattice * > &  dfInfo,
std::vector< Lattice * > **  retState,
bool  fw 
)
virtual
void ContextInsensitiveInterProceduralDataflow::runAnalysis ( )
virtual
void ContextInsensitiveInterProceduralDataflow::visit ( const CGFunction func)
virtual

Member Data Documentation

std::set<Function> ContextInsensitiveInterProceduralDataflow::remainingDueToCallers
private

Definition at line 472 of file dataflow.h.

std::map<Function, std::set<Function> > ContextInsensitiveInterProceduralDataflow::remainingDueToCalls
private

Definition at line 478 of file dataflow.h.


The documentation for this class was generated from the following file: