Re: how to do things like procedure foo(A: string) is bar: string := A; begin; ...;end;

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

On 12/17/2017 01:40 PM, Mehdi Saada wrote:
> Fine. It means a variable's bounds must be known at initizialisation, not compilation ? I had a boggus idea of what "static" means, or when it's necessary. A boggus idea of how the whole head + stack works. I'm still not sure, but it does simplify writing things a lot.

For unconstrained array types, the bounds of an object can be determined at run 
time. This applies equally to explicit bounds like

S : String (3 .. N);

where N is not known until run time, or bounds obtained from an initialization 
expression not known until run time.

"Static" basically means known at compile time. (The actual definition in the 
ARM is more complicated, but this will work fine in most cases.)

What you're really dealing with here is the subtype of the object. These are 
equivalent to

subtype anonymous is String (3 .. N);
S : anonymous;

and

anonymous_c : constant String := Initialization_Expression;
subtype anonymous is String (anonymous_c'range);
S : anonymous := anonymous_c;

Subtypes need not be static.

-- 
Jeff Carter
"When Roman engineers built a bridge, they had to stand under it
while the first legion marched across. If programmers today
worked under similar ground rules, they might well find
themselves getting much more interested in Ada!"
Robert Dewar
62