From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,2ce943dcc1eb3f9c
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!tiscali!newsfeed1.ip.tiscali.net!proxad.net!proxad.net!oleane.net!oleane!hunter.axlog.fr!nobody
From: Jean-Pierre Rosen <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: How to properly clean up an extended, generic structure?
Date: Mon, 10 Jul 2006 09:38:16 +0200
Organization: Adalog
Message-ID: <i50t8e.va7.ln@hunter.axlog.fr>
References: <44b107b7$0$3629$4d3efbfe@news.sover.net>
 <Z1dsg.1071226$xm3.670491@attbi_s21>
NNTP-Posting-Host: mailhost.axlog.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: s1.news.oleane.net 1152518469 6034 195.25.228.57 (10 Jul 2006
 08:01:09 GMT)
X-Complaints-To: abuse@oleane.net
NNTP-Posting-Date: Mon, 10 Jul 2006 08:01:09 +0000 (UTC)
User-Agent: Thunderbird 1.5.0.4 (Windows/20060516)
In-Reply-To: <Z1dsg.1071226$xm3.670491@attbi_s21>
Xref: g2news2.google.com comp.lang.ada:5591
Date: 2006-07-10T09:38:16+02:00
List-Id: <comp.lang.ada>

> Peter C. Chapin wrote:
>>
>> Right now I'm working on a generic package that implements splay 
>> trees. My generic parameters look like:
>>
>> generic
>>    type Item_Type is private;
>>    with function "<"(L : Item_Type; R : Item_Type) return Boolean;
>> package Splay_Tree is ...
> 
If you want your package to be usable with non-controlled type, you can 
also do (in Ada 2005 only):

generic
    type Item_Type is private;
    with function "<"(L : Item_Type; R : Item_Type) return Boolean;
    with procedure Clear (Item : in out Item_Type) is null;
package Splay_Tree is ...

This way, a user does not need to provide a Clear procedure unless it is 
needed.
-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr