Ejemplo n.º 1
0
void IntBounds::SetLowerBound(
    const ValueNumber myValueNumber,
    const Value *const baseValue,
    const bool wasEstablishedExplicitly)
{
    SetLowerBound(myValueNumber, baseValue, 0, wasEstablishedExplicitly);
}
Ejemplo n.º 2
0
void
Control::Set(string __counter, Expression* __lb, Expression* __ub)
{
SetControlKind( ADaAn_FOR );
SetCounterName( __counter );
SetUpperBound( __ub );
SetLowerBound( __lb );
}
Ejemplo n.º 3
0
void
Control::Initialize(void)
{
SetControlKind( ADaAn_NONE );
SetCounterName( "" );
SetUpperBound( NULL );
SetLowerBound( NULL );
SetCondition( NULL );
SetEnclosedAssigns( -1 , -1);
SetElseEnclosedAssigns( -1 , -1);
}
Ejemplo n.º 4
0
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);
}