Re: How to extract range from array

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Mon, 20 Mar 2006 14:14:37 +0100, Maciej Sobczak wrote:

> subtype My_Range is Integer range My_Array'Range;
> 
> This suggests that arrays cannot have more elements than Integer'Last.
> Which cannot be true.
> 
> What am I missing?

A'Range is not a [sub]type, it is a value of some anonymous "range-type."
What you need is:

subtype My_Range is My_Array'Index range My_Array'Range;
   -- This is not Ada!

alas. This is also why you cannot:

generic
   type My_Array is array (<>) of Something; -- Not Ada!

Ada does not have array interfaces. So you have to specify the index type
instead of asking it from the array's instance:

generic
   type My_Index is ...;
   type My_Array is array (My_Index range <>) of Something;

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de