NodeState Class Reference

Description

Definition at line 92 of file nodeState.h.

Public Member Functions
void	initialized (Analysis *analysis)
bool	isInitialized (Analysis *analysis)
void	setLattices (const Analysis *analysis, std::vector< Lattice * > &lattices)
void	setLatticeAbove (const Analysis *analysis, std::vector< Lattice * > &lattices)
void	setLatticeBelow (const Analysis *analysis, std::vector< Lattice * > &lattices)
Lattice *	getLatticeAbove (const Analysis *analysis, int latticeName) const
Lattice *	getLatticeBelow (const Analysis *analysis, int latticeName) const
const std::vector< Lattice * > &	getLatticeAbove (const Analysis *analysis) const
const std::vector< Lattice * > &	getLatticeBelow (const Analysis *analysis) const
std::vector< Lattice * > &	getLatticeAboveMod (const Analysis *analysis)
std::vector< Lattice * > &	getLatticeBelowMod (const Analysis *analysis)
void	deleteLatticeAbove (const Analysis *analysis)
void	deleteLatticeBelow (const Analysis *analysis)
void	cloneAnalysisState (const Analysis *srcA, const Analysis *tgtA)
void	unionLattices (std::set< Analysis * > &unionSet, const Analysis *master)
void	addFact (const Analysis *analysis, int factName, NodeFact *f)
void	setFacts (const Analysis *analysis, const std::vector< NodeFact * > &newFacts)
NodeFact *	getFact (const Analysis *analysis, int factName) const
const std::vector< NodeFact * > &	getFacts (const Analysis *analysis) const
std::vector< NodeFact * > &	getFactsMod (const Analysis *analysis)
void	deleteFacts (const Analysis *analysis)
void	deleteState (const Analysis *analysis)
std::string	str (Analysis *analysis, std::string indent="") const

Static Public Member Functions
static const std::vector< Lattice * > &	getLatticeAbove (const Analysis *analysis, SgNode *n, unsigned int index)
	returns all the lattices from above the CFG node (corresponding to SgNode and an CFG index) that are owned by the given analysis
static const std::vector< Lattice * > &	getLatticeBelow (const Analysis *analysis, SgNode *n, unsigned int index)
static bool	eqLattices (const std::vector< Lattice * > &latticesA, const std::vector< Lattice * > &latticesB)
static NodeState *	getNodeState (const DataflowNode &n, int index=0)
static NodeState *	getNodeState (SgNode *n, int index=0)
static const std::vector< NodeState * >	getNodeStates (const DataflowNode &n)
static int	numNodeStates (DataflowNode &n)
static void	copyLattices_aEQa (Analysis *analysis, NodeState &to, const NodeState &from)
static void	copyLattices_aEQa (Analysis *analysisA, NodeState &to, Analysis *analysisB, const NodeState &from)
static void	copyLattices_bEQa (Analysis *analysis, NodeState &to, const NodeState &from)
static void	copyLattices_bEQa (Analysis *analysisA, NodeState &to, Analysis *analysisB, const NodeState &from)
static void	copyLattices_bEQb (Analysis *analysis, NodeState &to, const NodeState &from)
static void	copyLattices_aEQb (Analysis *analysis, NodeState &to, const NodeState &from)

Static Protected Member Functions
static void	copyLattices (std::vector< Lattice * > &dfInfoX, const std::vector< Lattice * > &dfInfoY)

Constructor & Destructor Documentation

NodeState()

NodeState::NodeState ( )

inline

Definition at line 135 of file nodeState.h.

---

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

• nodeState.h