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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,5653f0bd43045b85
X-Google-Attributes: gid103376,public
From: "Robert I. Eachus" <eachus@mitre.org>
Subject: Re: garbage collection
Date: 1999/08/19
Message-ID: <37BC8447.753C735D@mitre.org>#1/1
X-Deja-AN: 514861142
Content-Transfer-Encoding: 7bit
References: <7pe93j$ehg$1@dailyplanet.wam.umd.edu>
 <37BB3C67.64DC8383@mitre.org> <37BC29D7.A803D4F9@Maths.UniNe.CH>
X-Accept-Language: en
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: usenet@news.mitre.org
X-Trace: top.mitre.org 935101279 2236 129.83.41.77 (19 Aug 1999 22:21:19 GMT)
Organization: The MITRE Corporation
Mime-Version: 1.0
NNTP-Posting-Date: 19 Aug 1999 22:21:19 GMT
Newsgroups: comp.lang.ada
Date: 1999-08-19T22:21:19+00:00
List-Id: <comp.lang.ada>

> BTW: is it possible to prove that an object is not more accessed
> (of course: as long as its type exists) ? It's so easy to copy a pointer...

  Which is why Ada has access types instead. ;-)  Seriously, if an
access type goes out of scope, then it is legitimate to recover all
storage associated with the type.  If you have gone and done something
like using Unchecked_Conversion to convert to a different access type,
well, you asked for it.  (You can get into similar trouble by saving
addresses.

  The whole idea is that access types are safe as long as you don't go
outside the rules.

-- 

                                        Robert I. Eachus

with Standard_Disclaimer;
use  Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...