Re: virtual destructors

["kat-Zygfryd" <6667@wp.pl>]

"Stephen Leake" <Stephe.Leake@nasa.gov> wrote in message
news:u1xzuehed.fsf@nasa.gov...
> The nearest equivalent of C++ destructors is achieved by deriving from
> a type declared in Ada.Finalization. Note that it is not a very close
> equivalent, so to be really helpful, we need to know in a larger sense
> what you are trying to do.
>
> --
> -- Stephe

I want to have destructors working on access' to class wide types,
so that when passed a variable, an actual type destructor was
called, not a one overloaded for the specific type.

example:

type Base is tagged record ... end record;
type PBase is access Base;
type CBase is access Base'Class;

type Derived is new Base with record ... end record;
type PDerived is access Derived;
type CDerived is access Derived'Class;

procedure Free is new Ada.Unchecked_Deallocation(Base,PBase);
procedure Free is new Ada.Unchecked_Deallocation(Derived,PDerived);

procedure Dispose(self: in out CBase) is
begin
   --?
   self := null;
end Dispose;

procedure Dispose(self: in out CDerived) is
begin
    -- ?
   self := null;
end Dispose;

declare
    B: CBase := new Base;
    D: CBase := new Derived;
begin
    Dispose(B);
    Dispose(D);
end;

I want both Disposes to work as they should, what should I fill them with?

Zygfryd