Re: Q: discrete_subtype_definition: static only cases?

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 6/7/20 11:27 AM, gautier_niouzes@hotmail.com wrote:
> 
> procedure SD is
>    A : array (1 .. 5) of Integer;
>    type XYZ is (X, Y, Z);
> begin
>    for I in 1 .. 3 loop
>      declare
>        B : array (1 .. I) of Integer;  --  I is a variable
>      begin
>        for J in 1 .. I loop            --  I is a variable
>          B (J) := J;
>        end loop;
>      end;
>    end loop;
>    for E in XYZ loop
>      declare
>        subtype S is XYZ range X .. E;  --  E is a variable
>      begin
>        null;
>      end;
>    end loop;
> end;

The things you have marked as variables are all constants. They're not static, 
but you can't assign to them.

-- 
Jeff Carter
"How'd you like to hide the egg and gurgitate
a few saucers of mocha java?"
Never Give a Sucker an Even Break
101