IntraPartitionDataflow Class Reference

Description

Definition at line 206 of file partitionedAnalysis.h.

Inheritance diagram for IntraPartitionDataflow:

Collaboration diagram for IntraPartitionDataflow:

Public Member Functions
	IntraPartitionDataflow (const IntraPartitionDataflow &that)
	IntraPartitionDataflow (PartitionedAnalysis *parent)
PartitionedAnalysis *	getParent () const
virtual IntraPartitionDataflow *	copy ()=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 &, const DataflowNode &, NodeState &, const std::vector< Lattice * > &, const std::vector< NodeFact * > &, printable *)
virtual bool	runAnalysis (const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated)=0
bool	runAnalysis (const Function &func, NodeState *state)
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)
InterProceduralDataflow *	getInterAnalysis () const
Public Member Functions inherited from IntraProceduralAnalysis
void	setInterAnalysis (InterProceduralAnalysis *interAnalysis)
Public Member Functions inherited from Analysis
	Analysis (bool(*f)(CFGNode)=defaultFilter)

Public Attributes
printable *	partitionCond
Public Attributes inherited from IntraProceduralDataflow
std::set< Function >	visited
Public Attributes inherited from Analysis
bool(*	filter )(CFGNode cfgn)

Protected Attributes
PartitionedAnalysis *	parent
Protected Attributes inherited from IntraProceduralAnalysis
InterProceduralAnalysis *	interAnalysis

Constructor & Destructor Documentation

IntraPartitionDataflow() [1/2]

IntraPartitionDataflow::IntraPartitionDataflow ( const IntraPartitionDataflow &  that )

inline

Definition at line 215 of file partitionedAnalysis.h.

IntraPartitionDataflow() [2/2]

IntraPartitionDataflow::IntraPartitionDataflow ( PartitionedAnalysis *  parent )

inline

Definition at line 222 of file partitionedAnalysis.h.

~IntraPartitionDataflow()

IntraPartitionDataflow::~IntraPartitionDataflow ( )

inline

Definition at line 228 of file partitionedAnalysis.h.

Member Function Documentation

getParent()

PartitionedAnalysis * IntraPartitionDataflow::getParent ( ) const

inline

Definition at line 233 of file partitionedAnalysis.h.

initDFfromPartCond()

virtual void IntraPartitionDataflow::initDFfromPartCond ( const Function &  , const DataflowNode &  , NodeState &  , const std::vector< Lattice * > &  , const std::vector< NodeFact * > &  , printable *    )

inlinevirtual

Definition at line 262 of file partitionedAnalysis.h.

runAnalysis() [1/2]

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

virtual

Implements IntraProceduralDataflow.

runAnalysis() [2/2]

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

inlinevirtual

Implements IntraProceduralAnalysis.

Definition at line 68 of file dataflow.h.

Member Data Documentation

parent

PartitionedAnalysis* IntraPartitionDataflow::parent

protected

Definition at line 209 of file partitionedAnalysis.h.

partitionCond

printable* IntraPartitionDataflow::partitionCond

Definition at line 213 of file partitionedAnalysis.h.

---

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

• partitionedAnalysis.h