Definition at line 106 of file dataflow.h.
|
virtual bool | transfer (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo)=0 |
|
virtual boost::shared_ptr< IntraDFTransferVisitor > | getTransferVisitor (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo) |
|
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 |
|
void | setInterAnalysis (InterProceduralAnalysis *interAnalysis) |
|
| Analysis (bool(*f)(CFGNode)=defaultFilter) |
|
The documentation for this class was generated from the following file: