Public Member Functions | Public Attributes | Protected Attributes | List of all members
IntraPartitionDataflow Class Referenceabstract


Definition at line 215 of file partitionedAnalysis.h.

Inheritance diagram for IntraPartitionDataflow:
Inheritance graph
Collaboration diagram for IntraPartitionDataflow:
Collaboration graph

Public Member Functions

 IntraPartitionDataflow (const IntraPartitionDataflow &that)
 IntraPartitionDataflow (PartitionedAnalysis *parent)
PartitionedAnalysisgetParent () const
virtual IntraPartitionDataflowcopy ()=0
virtual bool runAnalysis (const Function &func, NodeState *fState, bool &splitPart, bool &joinPart, IntraPartitionDataflowCheckpoint *&outChkpt)=0
virtual bool runAnalysisResume (const Function &func, NodeState *fState, IntraPartitionDataflowCheckpoint *chkpt, bool &splitPart, bool &joinPart, IntraPartitionDataflowCheckpoint *&outChkpt)=0
virtual void initDFfromPartCond (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo, const std::vector< NodeFact * > &facts, printable *partitionCond)
- 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)
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

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

Protected Attributes

- Protected Attributes inherited from IntraProceduralAnalysis

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