Definition at line 92 of file nodeState.h.
|
|
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 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) |
| |
