Public Member Functions | List of all members
DFStateAtReturns Class Reference


Definition at line 433 of file dataflow.h.

Inheritance diagram for DFStateAtReturns:
Inheritance graph
Collaboration diagram for DFStateAtReturns:
Collaboration graph

Public Member Functions

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

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