Re: Q: discrete_subtype_definition: static only cases?

[reinert <reinkor@gmail.com>]

I have made myself somehow similar questions, and found workarounds using subtype predicates. 

http://www.ada-auth.org/standards/12rat/html/Rat12-2-5.html

reinert


søndag 7. juni 2020 11.27.33 UTC+2 skrev gautier...@hotmail.com følgende:
> Hi,
> 
> Are there cases in the Ada syntax where a discrete_subtype_definition (RM 3.6 (6)) is expected to be determined at compile-time?
> 
> For instance, for array indices or "for" loops, it can be static or dynamic.
> Same for subtypes.
> 
> 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;
> _________________________ 
> Gautier's Ada programming 
> https://hacadacompiler.sourceforge.io/
> NB: follow the above link for a valid e-mail address