ROSE  0.11.145.0
Public Member Functions | Static Public Member Functions | Static Protected Member Functions | List of all members
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)
 
LatticegetLatticeAbove (const Analysis *analysis, int latticeName) const
 
LatticegetLatticeBelow (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)
 
NodeFactgetFact (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 NodeStategetNodeState (const DataflowNode &n, int index=0)
 
static NodeStategetNodeState (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)
 

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