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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC,XPRIO autolearn=no autolearn_force=no
	version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,927ae253da8bb547,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-05-30 05:37:19 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!cyclone.bc.net!skynet.be!skynet.be!proxad.net!proxad.net!wanadoo.fr!not-for-mail
From: "Baugereau" <baugereau@ifrance.kom>
Newsgroups: comp.lang.ada
Subject: Specialization
Date: Thu, 30 May 2002 14:39:19 +0200
Organization: Wanadoo, l'internet avec France Telecom
Message-ID: <ad56du$pp4$1@wanadoo.fr>
Reply-To: "Baugereau" <baugereau@ifrance.kom>
NNTP-Posting-Host: afontenayssb-103-1-4-21.abo.wanadoo.fr
X-Trace: wanadoo.fr 1022762238 26404 80.11.133.21 (30 May 2002 12:37:18 GMT)
X-Complaints-To: abuse@wanadoo.fr
NNTP-Posting-Date: 30 May 2002 12:37:18 GMT
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4807.1700
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4910.0300
Xref: archiver1.google.com comp.lang.ada:25001
Date: 2002-05-30T12:37:18+00:00
List-Id: <comp.lang.ada>

Hello,

I'm trying to implement a generic container, say a extensible vector.
But I'd like to specialize this component for controlled types.
For instance, when I empty the container, I want to Finalize all the
elements if they are Controlled, and do nothing if not.
Of course, I want to keep the same syntax in client code.
Is there a way, like in C++ (I come from a C++ background, maybe my view is
too much "C++ template"-biased), to specialize the procedures of the package
for some flavours of the generic parameter?
I tried to check the ARM but I'm not fluent enough in Ada I guess...

Thanks,
Bertrand