Description

Definition at line 436 of file 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)

Member Function Documentation

NodeFact * DFStateAtReturns::copy ( ) const

virtual

Implements NodeFact.

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

inline

Definition at line 458 of file dataflow.h.

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

inline

Definition at line 461 of file dataflow.h.

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

virtual

Implements printable.

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