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,96ec22b0d62e8e73
X-Google-Attributes: gid103376,public
From: mab@dst1.wdl.loral.com (Mark A Biggar)
Subject: Re: Q Controlled Types
Date: 1997/06/06
Message-ID: <5n9eq3$6m9@wdl1.wdl.lmco.com>#1/1
X-Deja-AN: 246578296
References: <5n73uf$m1l@news.Informatik.Uni-Oldenburg.DE>
Organization: Lockheed Martin Western Development Labs
Newsgroups: comp.lang.ada
Date: 1997-06-06T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <5n73uf$m1l@news.Informatik.Uni-Oldenburg.DE> "Guido Schumacher" <Guido.Schumacher@Informatik.Uni-Oldenburg.DE> writes:
>Is there a possibility to distinguish two different kinds of situations
>in which Finalize can be called from within the body of Finalize?
>In other words, is it possible to treat the finalization of an object differently,
>depending on the context in which it is performed?
>1. Calling of Finalize as part of an assignment operation
>2. Finalize is called before the object is destroyed (and no copy is performed)
>declare
>  V: CT; -- type CT is new controlled with ...
>begin 
>  ...
>  V := E;    -- (1)
>  ...
>end;         -- (2)

It would help if you told us WHY you need to do this, although 
that may be moot as I don't htink that there is any way to 
distinguish between those cases.

--
Mark Biggar
mab@wdl.lmco.com