void IntBounds::SetLowerBound( const ValueNumber myValueNumber, const Value *const baseValue, const bool wasEstablishedExplicitly) { SetLowerBound(myValueNumber, baseValue, 0, wasEstablishedExplicitly); }
void Control::Set(string __counter, Expression* __lb, Expression* __ub) { SetControlKind( ADaAn_FOR ); SetCounterName( __counter ); SetUpperBound( __ub ); SetLowerBound( __lb ); }
void Control::Initialize(void) { SetControlKind( ADaAn_NONE ); SetCounterName( "" ); SetUpperBound( NULL ); SetLowerBound( NULL ); SetCondition( NULL ); SetEnclosedAssigns( -1 , -1); SetElseEnclosedAssigns( -1 , -1); }
void IntBounds::SetBound(const int constantBoundBase, const int offset, const bool wasEstablishedExplicitly) { int constantBound; if(offset == 0) constantBound = constantBoundBase; else if(Int32Math::Add(constantBoundBase, offset, &constantBound)) return; if(Lower) SetLowerBound(constantBound); else SetUpperBound(constantBound, wasEstablishedExplicitly); }