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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 1108a1,7a180be12347b9d3
X-Google-Attributes: gid1108a1,public
X-Google-Thread: 103376,7a180be12347b9d3
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-02-07 15:38:05 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!fu-berlin.de!uni-berlin.de!ppp-4-227.5800-13.telinco.NET!not-for-mail
From: nickroberts@ukf.net (Nick Roberts)
Newsgroups: comp.lang.ada,comp.object
Subject: Re: Merits of re-dispatching [LONG]
Date: Thu, 07 Feb 2002 23:40:42 GMT
Message-ID: <3c630dcf.351108035@news.cis.dfn.de>
References: <3c62524f.93369796@News.CIS.DFN.DE>
NNTP-Posting-Host: ppp-4-227.5800-13.telinco.net (212.1.159.227)
X-Trace: fu-berlin.de 1013125083 44856428 212.1.159.227 (16 [25716])
X-Newsreader: Forte Free Agent 1.21/32.243
Xref: archiver1.google.com comp.lang.ada:19736 comp.object:33611
Date: 2002-02-07T23:40:42+00:00
List-Id: <comp.lang.ada>

On Thu, 07 Feb 2002 10:26:00 GMT, dmitry@elros.cbb-automation.de (Dmitry A.
Kazakov) wrote:

>Hi!
>
>C++ and Ada 95 support re-dispatching, which I think is inherently
>unsafe. Consider the following:
>
>type A is new Ada.Finalization.Limited_Controlled with ...
>procedure Foo  (Object : A);
>procedure Finalize (Object : in out A) ;
>
>Now let AA derived from A override Foo and Finalize:
>
>type AA is new A with record
>   ... -- Some components, which may use components of A
>end record;

What do you mean "which may use components of A"?

-- 
Nick Roberts

-- 
Nick Roberts