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,b99897135d6631cc
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news.glorb.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local1.nntp.dca.giganews.com!nntp.megapath.net!news.megapath.net.POSTED!not-for-mail
NNTP-Posting-Date: Mon, 28 Jun 2004 19:33:35 -0500
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
References: <bebbba07.0406162056.334745ed@posting.google.com>
 <cb0vjl$8hp$1@sparta.btinternet.com>
 <bebbba07.0406202016.1f15c133@posting.google.com>
 <40d69121$1_1@baen1673807.greenlnk.net>
 <bebbba07.0406211103.20060edb@posting.google.com>
 <pan.2004.06.22.02.32.11.718494@email.ro> <wvbrr7s8qatj.fsf@sun.com>
 <bebbba07.0406222041.593ab7c3@posting.google.com>
 <qc2e5zFQJM1y@eisner.encompasserve.org> <bebbba07.0406231018.21Organization:
 LJK Software <IKJODEu6UfVI@eisner.encompasserve.org>
 <bebbba07.0406232240.de2e599@posting.google.com>
 <JvCdnWaLWMnaOEDdRVn-jg@comcast.com>
Subject: Re: memory management and productivity
Date: Mon, 28 Jun 2004 19:33:59 -0500
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
Message-ID: <JYKdnYqAjPt9JX3d4p2dnA@megapath.net>
NNTP-Posting-Host: 64.32.209.38
X-Trace: 
 sv3-I9rFuyF52p5WisrjvYrMycNeFtRteBkLxhGLTrg4H6BDvkIZVVYeZ/oEdwvzNcfXC76sk/T/RPrnZEF!f6yAW/JyKPJdQV5boylV4otKvlRF++o6yKeZa1ylGALnPcDqH+B3r3B/uHXmfcTW+hjtg6OpYGeC
X-Complaints-To: abuse@megapath.net
X-DMCA-Complaints-To: abuse@megapath.net
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.1
Xref: g2news1.google.com comp.lang.ada:1987
Date: 2004-06-28T19:33:59-05:00
List-Id: <comp.lang.ada>

"Robert I. Eachus" <rieachus@comcast.net> wrote in message
news:JvCdnWaLWMnaOEDdRVn-jg@comcast.com...
...
> Ada does not have a REQUIREMENT for garbage collection.  What it has
> though is a requirement for no memory leaks:
>
> AdaRM A.4.5(88): Implementation Requirements
>
>      No storage associated with an Unbounded_String object shall be lost
> upon assignment or scope exit.
>
> Those words were chosen specifically to require what garbage collection
> promises, but not to require any particular garbage collection scheme.
> If the implementor implements this using something other than garbage
> collection, do you as a user care?  I certainly don't think about
> whether the object will be managed with reference counts, controlled
> types, or global garbage collection when I use Unbounded_String. All I
> need to know is that it works, and works means no storage leaks.

Note that the various containers proposed for Ada 2005 have the same wording
and thus the same properties. Using them, Robert can store his array of
Long_Floats without any Unchecked_Conversion.

                Randy.