Re: Optimizing Boundary Checks

[Vinzent Hoefler <ada.rocks@jlfencey.com>]

Martin Dowie wrote:

>"Vinzent Hoefler" <ada.rocks@jlfencey.com> wrote in message
>news:bcckq8$i67ah$1@ID-175126.news.dfncis.de...
>> >   for I in My_Array'Range loop
>[snip]
>> This I find interesting. (Of course, assuming that My_Type is the
>> Index type of My_Array).
>
>Yes it is. I've always tended to use this form anyway, as it
>copes with the (unlikely) case where the index type changing or
>(even more unlikely case of) the array type changing!

Yes, and finding this *very* useful, it reminds me, I would like to
have this feature for *every* variable, not just for arrays:

As an example, currently

|x : My_Enum;
|
|for i in x'Range loop ...

doesn't work, you have to write

|for in in My_Enum'Range loop

each time. Is there any convincing explanation why it isn't allowed to
use the actual type of a variable instead of the type itself? I can
imagine situations (especially with subtypes) where it could be handy
to use the variables' type instead of an explicit type specification.


Vinzent.

-- 
Parents strongly cautioned  --  this  posting  is  intended for mature
audiences  over  18.  It  may  contain some material that many parents
would not find suitable for children and may include intense violence,
sexual situations, coarse language and suggestive dialogue.