Re: Generic procedures and their parameters

["Steve" <nospam_steved94@comcast.net>]

"Maciej Sobczak" <no.spam@no.spam.com> wrote in message 
news:edm273$fee$1@sunnews.cern.ch...
> Hi,
>
> I have found the following signature for the sorting procedure:
>
> eneric
>    type Index_Type   is (<>);
>    type Element_Type is private;
>    type Array_Type   is array (Index_Type range <>) of Element_Type;
>    with function "<" (Left, Right : in Element_Type) return Boolean is <>;
> procedure Sort(To_Sort : in out Array_Type);
>
> My question is: what's the purpose of the third parameter (Array_Type)? 
> Isn't it implied by the first two and therefore just redundant?
>

I prefer:

generic
    type Index_Type is (<>);
    type Collection_Type is private;
    firstIndex : Index_Type;
    lastIndex : Index_Type;
    with function In_Order( list : Collection_Type; i, j : Index_Type ) 
return Boolean;
    procedure Swap( list : in out Collection_Type; i, j : Index_Type );
procedure Sort( list : in out Collection_Type );

This avoids the declaration of the array altogether, and is usable for any 
list that may be referenced by index.

My 2 cents.

Steve
(The Duck)

>
> -- 
> Maciej Sobczak : http://www.msobczak.com/
> Programming    : http://www.msobczak.com/prog/