Public Member Functions | Protected Member Functions | List of all members
IntraUniDirectionalDataflow Class Referenceabstract


Definition at line 210 of file dataflow.h.

Inheritance diagram for IntraUniDirectionalDataflow:
Inheritance graph
Collaboration diagram for IntraUniDirectionalDataflow:
Collaboration graph

Public Member Functions

bool runAnalysis (const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated)
- Public Member Functions inherited from IntraUnitDataflow
virtual bool transfer (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo)=0
virtual boost::shared_ptr< IntraDFTransferVisitorgetTransferVisitor (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo)
- Public Member Functions inherited from IntraProceduralDataflow
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)
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)

Protected Member Functions

bool propagateStateToNextNode (const std::vector< Lattice * > &curNodeState, DataflowNode curDFNode, int nodeIndex, const std::vector< Lattice * > &nextNodeState, DataflowNode nextDFNode)
std::vector< DataflowNodegatherDescendants (std::vector< DataflowEdge > edges, DataflowNode(DataflowEdge::*edgeFn)() const)
virtual NodeStateinitializeFunctionNodeState (const Function &func, NodeState *fState)=0
virtual VirtualCFG::dataflowgetInitialWorklist (const Function &func, bool firstVisit, bool analyzeDueToCallers, const set< Function > &calleesUpdated, NodeState *fState)=0
virtual vector< Lattice * > getLatticeAnte (NodeState *state)=0
virtual vector< Lattice * > getLatticePost (NodeState *state)=0
virtual void transferFunctionCall (const Function &func, const DataflowNode &n, NodeState *state)=0
virtual vector< DataflowNodegetDescendants (const DataflowNode &n)=0
virtual DataflowNode getUltimate (const Function &func)=0

Additional Inherited Members

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

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