DFStateAtReturns Class Reference

#include <dataflow.h>

Inheritance diagram for DFStateAtReturns:

Collaboration diagram for DFStateAtReturns:

Public Member Functions
	DFStateAtReturns (std::vector< Lattice * > &latsAtFuncReturn, std::vector< Lattice * > &latsRetVal)
NodeFact *	copy () const
bool	mergeReturnStates (const Function &func, FunctionState *fState, IntraProceduralDataflow *intraAnalysis)
std::vector< Lattice * > &	getLatsAtFuncReturn ()
std::vector< Lattice * > &	getLatsRetVal ()
std::string	str (std::string indent)

Private Attributes
std::vector< Lattice * > &	latsAtFuncReturn
std::vector< Lattice * > &	latsRetVal

Detailed Description

Definition at line 433 of file dataflow.h.

Constructor & Destructor Documentation

DFStateAtReturns::DFStateAtReturns	(	std::vector< Lattice * > &	latsAtFuncReturn,
		std::vector< Lattice * > &	latsRetVal
	)

Member Function Documentation

NodeFact* DFStateAtReturns::copy ( ) const

virtual

Implements NodeFact.

bool DFStateAtReturns::mergeReturnStates	(	const Function &	func,
		FunctionState *	fState,
		IntraProceduralDataflow *	intraAnalysis
	)

std::vector<Lattice*>& DFStateAtReturns::getLatsAtFuncReturn ( )

inline

Definition at line 455 of file dataflow.h.

References latsAtFuncReturn.

std::vector<Lattice*>& DFStateAtReturns::getLatsRetVal ( )

inline

Definition at line 458 of file dataflow.h.

References latsRetVal.

std::string DFStateAtReturns::str ( std::string  indent)

virtual

Implements printable.

Member Data Documentation

std::vector<Lattice*>& DFStateAtReturns::latsAtFuncReturn

private

Definition at line 437 of file dataflow.h.

Referenced by getLatsAtFuncReturn().

std::vector<Lattice*>& DFStateAtReturns::latsRetVal

private

Definition at line 439 of file dataflow.h.

Referenced by getLatsRetVal().

---

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

• dataflow.h