Re: Optimizing Boundary Checks

[Jeffrey Carter <spam@spam.com>]

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; yet another argument against using all 
lower case for varibles names. 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. (Remember that the name in a type declaration is a 
subtype name.)

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.

-- 
Jeff Carter
"Now go away or I shall taunt you a second time."
Monty Python & the Holy Grail