ROSE  0.9.6a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups Pages
DivLattice Class Reference

#include <divAnalysis.h>

Inheritance diagram for DivLattice:
Collaboration diagram for DivLattice:

Public Member Functions

 DivLattice ()
 
 DivLattice (long value)
 
 DivLattice (long div, long rem)
 
 DivLattice (const DivLattice &that)
 
void initialize ()
 
Latticecopy () const
 
void copy (Lattice *that)
 
bool meetUpdate (Lattice *that)
 
bool operator== (Lattice *that)
 
long getValue () const
 
long getDiv () const
 
long getRem () const
 
short getLevel () const
 
bool setBot ()
 
bool set (long value)
 
bool set (long div, long rem)
 
bool setTop ()
 
bool incr (long increment)
 
bool mult (long multiplier)
 
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 Latticeproject (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 Member Functions

static bool matchDiv (long value, long div, long rem)
 
static bool matchDiv (DivLattice *one, DivLattice *two, long &div, long &rem)
 
static bool matchDivAddSubt (DivLattice *one, DivLattice *two, long &div, long &rem, bool plus)
 

Static Public Attributes

static const int bottom =1
 
static const int valKnown =2
 
static const int divKnown =3
 
static const int top =4
 

Private Attributes

long value
 
long div
 
long rem
 
short level
 

Detailed Description

Definition at line 26 of file divAnalysis.h.

Constructor & Destructor Documentation

DivLattice::DivLattice ( )
inline

Definition at line 53 of file divAnalysis.h.

References bottom, div, level, rem, and value.

DivLattice::DivLattice ( long  value)
inline

Definition at line 61 of file divAnalysis.h.

References div, level, rem, valKnown, and value.

DivLattice::DivLattice ( long  div,
long  rem 
)
inline

Definition at line 68 of file divAnalysis.h.

References div, divKnown, level, rem, and value.

DivLattice::DivLattice ( const DivLattice that)
inline

Definition at line 75 of file divAnalysis.h.

References div, level, rem, and value.

Member Function Documentation

void DivLattice::initialize ( )
inlinevirtual

Implements Lattice.

Definition at line 84 of file divAnalysis.h.

Lattice* DivLattice::copy ( ) const
virtual

Implements Lattice.

void DivLattice::copy ( Lattice that)
virtual

Implements Lattice.

static bool DivLattice::matchDiv ( long  value,
long  div,
long  rem 
)
static
static bool DivLattice::matchDiv ( DivLattice one,
DivLattice two,
long &  div,
long &  rem 
)
static
static bool DivLattice::matchDivAddSubt ( DivLattice one,
DivLattice two,
long &  div,
long &  rem,
bool  plus 
)
static
bool DivLattice::meetUpdate ( Lattice that)
virtual

Implements Lattice.

bool DivLattice::operator== ( Lattice that)
virtual

Implements Lattice.

long DivLattice::getValue ( ) const
long DivLattice::getDiv ( ) const
long DivLattice::getRem ( ) const
short DivLattice::getLevel ( ) const
bool DivLattice::setBot ( )
bool DivLattice::set ( long  value)
bool DivLattice::set ( long  div,
long  rem 
)
bool DivLattice::setTop ( )
bool DivLattice::incr ( long  increment)
bool DivLattice::mult ( long  multiplier)
std::string DivLattice::str ( std::string  indent = "")
virtual

Implements printable.

Member Data Documentation

long DivLattice::value
private

Definition at line 30 of file divAnalysis.h.

Referenced by DivLattice().

long DivLattice::div
private

Definition at line 33 of file divAnalysis.h.

Referenced by DivLattice().

long DivLattice::rem
private

Definition at line 34 of file divAnalysis.h.

Referenced by DivLattice().

const int DivLattice::bottom =1
static

Definition at line 39 of file divAnalysis.h.

Referenced by DivLattice().

const int DivLattice::valKnown =2
static

Definition at line 41 of file divAnalysis.h.

Referenced by DivLattice().

const int DivLattice::divKnown =3
static

Definition at line 43 of file divAnalysis.h.

Referenced by DivLattice().

const int DivLattice::top =4
static

Definition at line 45 of file divAnalysis.h.

short DivLattice::level
private

Definition at line 49 of file divAnalysis.h.

Referenced by DivLattice().


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