Re: Q Controlled Types

[nobody@REPLAY.COM (Anonymous)]

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?

In a word, "No."

> 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)
> 
> I would appreciate any help.

Now, I'm sure someone will post a response about GNAT-specific
information you can use to determine the context with GNAT, but withing
the confines of the language specification there is no way for Finalize
to know why it is being called.

Should someone prove me wrong, I'd be interested to learn how to do
this.

Jeff Carter  PGP:1024/440FBE21
My real e-mail address: ( carter @ innocon . com )
"Now go away, or I shall taunt you a second time."
Monty Python & the Holy Grail

Posted with Spam Hater - see
http://www.compulink.co.uk/~net-services/spam/