Re: Normalizing array indices

[Pascal Obry <pascal@obry.net>]

Le 28/10/2011 23:13, Randy Brukardt a écrit :
> I probably would constrain the parameter to have a lower bound of 1. Using
> Ada 2012:
>
> generic
>     type Element_Type is private;
>     type Sort_Array_Type is array (Positive range<>) of Element_Type;
>     with function "<" (Left, Right: Element_Type) return Boolean is<>;
> procedure Sort(A: in out Sort_Array_Type)
>     with Pre =>  A'First 1;

Or maybe something less radical:

generic
     type Element_Type is private;
     type Sort_Array_Type is array (Positive range<>) of Element_Type;
     with function "<" (Left, Right: Element_Type) return Boolean is<>;
procedure Sort(A: in out Sort_Array_Type)
     with Pre =>  A'Last < Positive'Last - 1;

I think this covers the problem expressed by the OP, right?

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|    http://www.obry.net  -  http://v2p.fr.eu.org
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver keys.gnupg.net --recv-key F949BD3B