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,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,dfb98535bcaeb3a6
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Controlled types in local generics?
Date: 1999/12/31
Message-ID: <84ik6r$hp2$1@nnrp1.deja.com>#1/1
X-Deja-AN: 566880055
References: <386AFDA8.7C3110CC@telepath.com> <84g2va$q8u$1@nnrp1.deja.com>
 <386BB71D.CB7920FD@telepath.com>
X-Http-Proxy: 1.0 x42.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Fri Dec 31 16:17:19 1999 GMT
X-MyDeja-Info: XMYDJUIDrobert_dewar
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I)
Date: 1999-12-31T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <386BB71D.CB7920FD@telepath.com>,
  Ted Dennison <dennison@telepath.com> wrote:
> As near as I can tell, there's no way around it.

One general approach that is typically used is to include a
controlled component in the type, rather than making the
entire structure controlled. Then the finalize routine
for that component can do whatever it needs to do. Just
think of what you would have to do if the type was derived
from some other tagged type (remember no direct MI in Ada :-)

But there are many other ways to address this in a specific
instance.

That's why I really don't consider this as a fatal flaw, merely
a minor inconvenience.


Sent via Deja.com http://www.deja.com/
Before you buy.