Re: Q Controlled Types

["Guido Schumacher" <Guido.Schumacher@Informatik.Uni-Oldenburg.DE>]

Robert A Duff wrote:
>Anonymous <nobody@REPLAY.COM> wrote:
Mark A Biggar wrote:
>>On 5 Jun 1997 19:27:11 GMT, "Guido Schumacher"
>><Guido.Schumacher@Informatik.Uni-Oldenburg.DE> wrote:
>>
>>> 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?
>
>I'm curious.  Why do you want to do this?
My intention is to preserve information of a target object in an assignment. The
information (containing a protected object) is stored in an object which can be accessed by an access type. 
A pointer of that access type is a record component of the controlled type.
If it were obvious that a call of finalize is not part of an assignment it would be possible to deallocate the object containing the static information.
The controlled object and the static object would both have the same lifetime.

>>In a word, "No."
>
>Agreed.
>
>>Should someone prove me wrong, I'd be interested to learn how to do
>>this.
>
>Not me.  It seems that Finalize doesn't know whether it's called from
>assignment vs at end-of-procedure.

Thank you for the replies.
Guido
-- 
Guido Schumacher
Carl von Ossietzky Universitaet Oldenburg
Postfach 2503
26111 Oldenburg
Email: Guido.Schumacher@Informatik.Uni-Oldenburg.de
Tel.: +49 441 798 2370
Fax:  +49 441 798 2145