Q Controlled Types

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

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)

I would appreciate any help.

Thank you

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