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 autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,bae7ef2665942955
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-09-13 03:37:13 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed00.sul.t-online.de!newsmm00.sul.t-online.com!t-online.de!news.t-online.com!not-for-mail
From: Martin Krischik <krischik@users.sourceforge.net>
Newsgroups: comp.lang.ada
Subject: Re: containers and garbage collections.
Date: Sat, 13 Sep 2003 11:45:14 +0200
Organization: AdaCL
Message-ID: <23635057.dHrhOAZpeb@linux1.krischik.com>
References: <2458809.CYNMQ0Kujp@linux1.krischik.com>
 <u3cf15pjr.fsf@earthlink.net>
Reply-To: krischik@users.sourceforge.net
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7Bit
X-Trace: news.t-online.com 1063449255 07 16919 aeamVHrESyYy5f 030913 10:34:15
X-Complaints-To: usenet-abuse@t-online.de
X-ID: ThGKtBZL8eA1vX72NXMJBGYktLkRSzGTSPzqazKn5bNafJz5LERcZJ
User-Agent: KNode/0.7.2
Xref: archiver1.google.com comp.lang.ada:42438
Date: 2003-09-13T11:45:14+02:00
List-Id: <comp.lang.ada>

Matthew Heaney wrote:

> Martin Krischik <krischik@users.sourceforge.net> writes:
 
> From the point of view of a user of the queue, the queue contains
> elements, of indefinite type Element_Type.  Clearly, inside the queue,
> access types are used, but that is an implementation detail hidden from
> client.

Yes, and this is what I am advocating. And more.

>> I also have created containers for "type Element (<>) is abstract tagged
>> private;" and I belive "type Element is array (Index range <>) of Item;"
>>is
>> possible as well (Enabling collection of Strings). Both can't be done
>>with
>> C++ templates - so we should not take the all mighty STL as an example.

> Both of these containers are possible using the single declaration:
> 
> generic
>    type Element_Type (<>) is private;
> package GP is ...;
> 
> You can instantiate GP using either of the types in your example.  It's
> not clear why you made two separate containers, one for tagged types
> vs. another for array types, as a single container seems adequate.

Will it work with any combination of tagged types incl. controled types any
derived types of Element_Type? If so I stay corrected and will rething my
design.

With Rwegards

Martin

-- 
mailto://krischik@users.sourceforge.net
http://www.ada.krischik.com