ROSE
0.9.6a
|
#include <nodeConstAnalysis.h>
Public Member Functions | |
nodeConstLattice () | |
nodeConstLattice (const nodeConstLattice &that) | |
void | initialize () |
Lattice * | copy () const |
void | copy (Lattice *that) |
bool | meetUpdate (Lattice *that) |
bool | maxUpdate (nodeConstLattice &that) |
bool | increment (int val=1) |
bool | operator== (Lattice *that) |
short | getValConst () const |
bool | setToBottom () |
bool | set (unsigned long valID) |
bool | setToTop () |
std::string | str (std::string indent="") |
Public Member Functions inherited from FiniteLattice | |
bool | finiteLattice () |
Check if this lattice is finite or not. More... | |
Public Member Functions inherited from Lattice | |
virtual void | remapVars (const std::map< varID, varID > &varNameMap, const Function &newFunc) |
virtual void | incorporateVars (Lattice *that) |
virtual Lattice * | project (SgExpression *expr) |
virtual bool | unProject (SgExpression *expr, Lattice *exprState) |
bool | operator!= (Lattice *that) |
bool | operator== (Lattice &that) |
bool | operator!= (Lattice &that) |
Public Member Functions inherited from printable | |
virtual | ~printable () |
Static Public Attributes | |
static const int | uninitialized =0 |
static const int | noAssign =bottom |
static const int | constVal =valKnown |
static const int | multVal =top |
Private Attributes | |
unsigned long | valID |
short | level |
Static Private Attributes | |
static const int | bottom =1 |
static const int | valKnown =2 |
static const int | top =3 |
Definition at line 22 of file nodeConstAnalysis.h.
|
inline |
Definition at line 55 of file nodeConstAnalysis.h.
References level, uninitialized, and valID.
|
inline |
Definition at line 61 of file nodeConstAnalysis.h.
|
inlinevirtual |
Implements Lattice.
Definition at line 68 of file nodeConstAnalysis.h.
References bottom, level, uninitialized, and valID.
bool nodeConstLattice::maxUpdate | ( | nodeConstLattice & | that) |
bool nodeConstLattice::increment | ( | int | val = 1 ) |
short nodeConstLattice::getValConst | ( | ) | const |
bool nodeConstLattice::setToBottom | ( | ) |
bool nodeConstLattice::set | ( | unsigned long | valID) |
bool nodeConstLattice::setToTop | ( | ) |
|
virtual |
Implements printable.
|
private |
Definition at line 26 of file nodeConstAnalysis.h.
Referenced by initialize(), and nodeConstLattice().
|
static |
Definition at line 31 of file nodeConstAnalysis.h.
Referenced by initialize(), and nodeConstLattice().
|
staticprivate |
Definition at line 36 of file nodeConstAnalysis.h.
Referenced by initialize().
|
staticprivate |
Definition at line 39 of file nodeConstAnalysis.h.
|
staticprivate |
Definition at line 41 of file nodeConstAnalysis.h.
|
static |
Definition at line 45 of file nodeConstAnalysis.h.
|
static |
Definition at line 46 of file nodeConstAnalysis.h.
|
static |
Definition at line 47 of file nodeConstAnalysis.h.
|
private |
Definition at line 51 of file nodeConstAnalysis.h.
Referenced by initialize(), and nodeConstLattice().