ROSE  0.9.10.103
Public Member Functions | Public Attributes | List of all members
IntraProceduralDataflow Class Referenceabstract

Description

Definition at line 25 of file dataflow.h.

Inheritance diagram for IntraProceduralDataflow:
Inheritance graph
[legend]
Collaboration diagram for IntraProceduralDataflow:
Collaboration graph
[legend]

Public Member Functions

virtual void genInitState (const Function &func, const DataflowNode &n, const NodeState &state, std::vector< Lattice * > &initLattices, std::vector< NodeFact * > &initFacts)=0
 
void setInterAnalysis (InterProceduralDataflow *interDataflowAnalysis)
 
void setInterAnalysis (IntraProceduralDataflow *intraDFAnalysis)
 
virtual bool runAnalysis (const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated)=0
 
bool runAnalysis (const Function &func, NodeState *state)
 
InterProceduralDataflowgetInterAnalysis () const
 
- Public Member Functions inherited from IntraProceduralAnalysis
void setInterAnalysis (InterProceduralAnalysis *interAnalysis)
 
- Public Member Functions inherited from Analysis
 Analysis (bool(*f)(CFGNode)=defaultFilter)
 

Public Attributes

std::set< Functionvisited
 
- Public Attributes inherited from Analysis
bool(* filter )(CFGNode cfgn)
 

Additional Inherited Members

- Protected Attributes inherited from IntraProceduralAnalysis
InterProceduralAnalysisinterAnalysis
 

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