Re: Optimizing Boundary Checks

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

Jeffrey Carter wrote:

>Vinzent Hoefler wrote [about 'range for array objects]:
>> 
>> 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.
>
>Obviously, this doesn't compile;

What a luck that an Ada compiler is less forgiving when it comes to
typos. :)

>yet another argument against using all 
>lower case for varibles names.

Well, yes, usually I don't.

But the casual i's, j's and k's are pretty standard. :)

>Converting it to the probably intended
>
>for I in My_Enum'Range loop
>
>you still don't have to write this. For loops require a discrete 
>subtype, and a discrete subtype is a discrete subtype, so you simply write
>
>for I in My_Enum loop
>
>since My_Enum must be a discrete subtype name for My_Enum'range to be 
>legal in a for loop.

*whoops* Yes.

>This doesn't address the question of an attribute to obtain the subtype 
>of an object, which in some cases could be useful, and could reduce 
>errors in some cases when code changes.

That's sounds exactly like th thing I thought about.


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.