Re: loop variable

[Jean-Pierre Rosen <rosen@adalog.fr>]

Peter C. Chapin a �crit :
> jedivaughn wrote:
> 
>> What data_type is a loop variable
>> as an example
>> for i in 1..10
>> what data type is i?
> 
> The subtype of a loop variable is the subtype used to define the loop's
> range. Something like '1..10' is shorthand for 'Integer range 1..10' and
> so in your example I has type Integer.
> 
> However, I echo the comments Georg Bauhaus made in his post: be careful
> with conversions. They often (not always) mean you haven't defined your
> types properly or that you haven't declared your variables with the most
> appropriate types.
> 
To concur with that:
The declaration of a loop control variable is the only case in Ada where 
you can define an object without giving (explicitely) its type in the 
same declaration - and it's unfortunate. Remember that you are always 
allowed (although not required) to specify the type explicitely:
    for I in My_Integer_Type range 1 .. 10 loop

Of course, there is a rule in AdaControl to check for loops that don't 
follow this advice ;-)

-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr