ROSE  0.9.6a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
Public Member Functions | Public Attributes | List of all members
IntraProceduralDataflow Class Referenceabstract

#include <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)
 
InterProceduralDataflow * getInterAnalysis () const
 
- Public Member Functions inherited from IntraProceduralAnalysis
void setInterAnalysis (InterProceduralAnalysis *interAnalysis)
 
virtual ~IntraProceduralAnalysis ()
 
- Public Member Functions inherited from Analysis
 Analysis (bool(*f)(CFGNode)=defaultFilter)
 

Public Attributes

std::set< Function > visited
 

Additional Inherited Members

- Protected Attributes inherited from IntraProceduralAnalysis
InterProceduralAnalysis * interAnalysis
 

Detailed Description

Definition at line 25 of file dataflow.h.

Member Function Documentation

virtual void IntraProceduralDataflow::genInitState ( const Function &  func,
const DataflowNode &  n,
const NodeState &  state,
std::vector< Lattice * > &  initLattices,
std::vector< NodeFact * > &  initFacts 
)
pure virtual

Implemented in printDataflowInfoPass, DivAnalysis, TaintAnalysis, LiveDeadVarsAnalysis, and nodeConstAnalysis.

void IntraProceduralDataflow::setInterAnalysis ( InterProceduralDataflow *  interDataflowAnalysis)
inline

Definition at line 47 of file dataflow.h.

References IntraProceduralAnalysis::interAnalysis.

void IntraProceduralDataflow::setInterAnalysis ( IntraProceduralDataflow *  intraDFAnalysis)
inline

Definition at line 50 of file dataflow.h.

References IntraProceduralAnalysis::interAnalysis.

virtual bool IntraProceduralDataflow::runAnalysis ( const Function &  func,
NodeState *  state,
bool  analyzeDueToCallers,
std::set< Function >  calleesUpdated 
)
pure virtual

Implemented in IntraPartitionFWDataflow, and IntraUniDirectionalDataflow.

Referenced by runAnalysis().

bool IntraProceduralDataflow::runAnalysis ( const Function &  func,
NodeState *  state 
)
inlinevirtual

Implements IntraProceduralAnalysis.

Definition at line 65 of file dataflow.h.

References runAnalysis().

InterProceduralDataflow* IntraProceduralDataflow::getInterAnalysis ( ) const
inline

Definition at line 77 of file dataflow.h.

References IntraProceduralAnalysis::interAnalysis.

Member Data Documentation

std::set<Function> IntraProceduralDataflow::visited

Definition at line 45 of file dataflow.h.

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