Re: How to properly clean up an extended, generic structure?

["Peter C. Chapin" <pchapin@sover.net>]

Ludovic Brenta wrote:

> You do not need to change anything to your Splay_Tree; instead, just
> pass a controlled type as the Item_Type.  A controlled type is a type
> derived from Ada.Finalization.Controlled(*).  You override its
> Finalize procedure to reclaim the storage for the item; that's the
> equivalent of a destructor in C++.  The language guarantees (ARM
> 7.6(1)) that the instance of Unchecked_Deallocation will call your
> Finalize, much like delete in C++ will call your destructor.

That sounds good... much better than what I was thinking about before. 
I'll play with it. Thank you (and others) for bringing this to my attention.

Peter