question regarding bound specs

[David Price]

Liam,

I'd take a look at Part 22 and the SDAI dictionary. There you find a concept
where bounds are indeed evaluated at run time. For example, a bound can
contain a query which can only be evaluated at run time. This applies to
more than just aggregate bounds also.

David

> -----Original Message-----
> From: owner-wg11 at steptools.com [mailto:owner-wg11 at steptools.com]On
> Behalf Of Liam Mullan
> Sent: 2002 March 21 12:59
> To: wg11 at steptools.com
> Subject: question regarding bound specs
>
>
> Hi,
>
> my question regards the dynamic nature or otherwise of aggregate bound
> specs. The question is whether bound specs are evaluated just once (at
> the point of declaration), or whether the bounds change when variables
> involved in the bound expressions change.
> As an example, if the following appeared in some function, would
> hi_bound1 and hi_bound2 both be 4, or would they be 4 and 5 respectively?
>
> ...
> LOCAL;
>  x : INTEGER := 4;
>  my_agg : SET [ 0 : x ] of INTEGER;
> END_LOCAL;
> ...
> hi_bound1 : INTEGER := HIBOUND (my_agg);
> x = 5;
> hi_bound2 : INTEGER := HIBOUND (my_agg);
> ...
>
> Thoughts/answers much appreciated,
>
> Liam Mullan
>