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,ed6a891101ff4e06
X-Google-Attributes: gid103376,public
From: dewarr@my-dejanews.com
Subject: Re: Freeing Pointers to classwide types
Date: 1998/09/26
Message-ID: <6uifpt$e98$1@nnrp1.dejanews.com>#1/1
X-Deja-AN: 395040825
References: <1ftmFTC69GA.191@samson.airnet.net>
 <360b26a1.41575272@SantaClara01.news.InterNex.Net>
 <6ugeu2$79u$1@nnrp1.dejanews.com>
 <360c4a70.29707515@SantaClara01.news.InterNex.Net>
X-Http-Proxy: 1.0 x6.dejanews.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja News - The Leader in Internet Discussion
X-Article-Creation-Date: Sat Sep 26 10:31:25 1998 GMT
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/2.02 (OS/2; I)
Date: 1998-09-26T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <360c4a70.29707515@SantaClara01.news.InterNex.Net>,
  tmoran@bix.com (Tom Moran) wrote:

<<code snipped>>


>      Do you mean that it would be legal Ada to produce a different
> output, or that it should produce this  but might not actually free
> the memory after the Finalize?


Absolutely, of course the finalize and initialize routines have to be
called as prescribed by the RM. But there is absolutely no suggestion
that some magic free operation would take place in your code. It *might*,
but then you could equally well say there *might* be complete automatic
garbage collection of either a conservative or full-tracing kind. Such
storage allocation schemes are *allowed* in Ada, but most certainly not
*required*.

In your code, the normal coding would be to do a free operation in the
finalization routine. In fact 99% of finalization routines do nothing
but explicit memory freeing in code that I have seen.

-----== Posted via Deja News, The Leader in Internet Discussion ==-----
http://www.dejanews.com/rg_mkgrp.xp   Create Your Own Free Member Forum