Re: Type conversions on pool-specific access types

["Nick Roberts" <nick.roberts@acm.org>]

I think I should add the following note. In the example starting with:

>    type My_Object;

if instead of:

>    type My_Object_Ptr is access My_Object;

I had put:

   type My_Object_Ptr is access My_Object'Class;

and instead of :

>    procedure Free is new
Ada.Unchecked_Deallocation(My_Object,My_Object_Ptr);

I had put:

   procedure Free is new
Ada.Unchecked_Deallocation(My_Object'Class,My_Object_Ptr);

then within:

>    procedure Finalize (List: in out My_Object_List) is
>       Obj, Tmp: My_Object_Ptr;
>    begin
>       Obj := List.First;
>       List.First := null;
>       while Obj /= null loop
>          Tmp := Obj;
>          Obj := Obj.Next;
>          Free(Tmp); -- will call member's Finalize and its pool's
Deallocate
>       end loop;
>    end Finalize;

the call to Free would within itself make a dispatching call to the
appropriate Finalize, according to the actual type of each member object.

--
Regards,
Nick