Range Class Reference

#include <include/managed.h>

List of all members.


Detailed Description

Definition at line 221 of file managed.h.

Public Member Functions

ExpgetBase ()
int getLowerBound ()
int getStride ()
int getUpperBound ()
bool operator== (Range &other)
void print (std::ostream &os)
 Range (int stride, int lowerBound, int upperBound, Exp *base)
 Range ()
void unionWith (Range &r)
void widenWith (Range &r)

Static Public Attributes

static const int MAX = 2147483647
static const int MIN = -2147483647

Protected Attributes

Expbase
int lowerBound
int stride
int upperBound


Constructor & Destructor Documentation

Range::Range  ) 
 

Definition at line 689 of file managed.cpp.

References base.

Range::Range int  stride,
int  lowerBound,
int  upperBound,
Exp base
 

Definition at line 694 of file managed.cpp.

References base, Exp::getOper(), Exp::getSubExp1(), Exp::getSubExp2(), Exp::isIntConst(), opMinus, and opPlus.


Member Function Documentation

Exp* Range::getBase  )  [inline]
 

Definition at line 230 of file managed.h.

References base.

Referenced by BranchStatement::limitOutputWithCondition(), and BranchStatement::rangeAnalysis().

int Range::getLowerBound  )  [inline]
 

Definition at line 232 of file managed.h.

References lowerBound.

Referenced by BranchStatement::limitOutputWithCondition().

int Range::getStride  )  [inline]
 

Definition at line 231 of file managed.h.

References stride.

Referenced by BranchStatement::limitOutputWithCondition().

int Range::getUpperBound  )  [inline]
 

Definition at line 233 of file managed.h.

References upperBound.

Referenced by BranchStatement::limitOutputWithCondition().

bool Range::operator== Range other  ) 
 

Definition at line 888 of file managed.cpp.

References base, lowerBound, stride, and upperBound.

void Range::print std::ostream &  os  ) 
 

Definition at line 713 of file managed.cpp.

References base, Exp::isIntConst(), lowerBound, MAX, MIN, and upperBound.

void Range::unionWith Range r  ) 
 

Definition at line 755 of file managed.cpp.

References base, DEBUG_RANGE_ANALYSIS, Exp::getOper(), Exp::getSubExp1(), Exp::getSubExp2(), Exp::isIntConst(), LOG, max(), opMinus, upperBound, and VERBOSE.

void Range::widenWith Range r  ) 
 

Definition at line 792 of file managed.cpp.

References base, DEBUG_RANGE_ANALYSIS, LOG, MAX, MIN, upperBound, and VERBOSE.


Member Data Documentation

Exp* Range::base [protected]
 

Definition at line 224 of file managed.h.

Referenced by getBase(), operator==(), print(), Range(), unionWith(), and widenWith().

int Range::lowerBound [protected]
 

Definition at line 223 of file managed.h.

Referenced by getLowerBound(), operator==(), and print().

const int Range::MAX = 2147483647 [static]
 

Definition at line 239 of file managed.h.

Referenced by RangeMap::getRange(), print(), and widenWith().

const int Range::MIN = -2147483647 [static]
 

Definition at line 240 of file managed.h.

Referenced by RangeMap::getRange(), print(), and widenWith().

int Range::stride [protected]
 

Definition at line 223 of file managed.h.

Referenced by getStride(), and operator==().

int Range::upperBound [protected]
 

Definition at line 223 of file managed.h.

Referenced by getUpperBound(), operator==(), print(), unionWith(), and widenWith().


The documentation for this class was generated from the following files:
Generated on Tue Sep 19 21:18:45 2006 for Boomerang by  doxygen 1.4.6