Re: Generic and Access problem

["Grein, Christoph" <christoph.grein@eurocopter.com>]

generic

   type Item_Type is private;
   type Index_Type is (<>);

package Generic_Pool is

   type Id_Type is private;
   type Reference_Type is access all Item_Type;

   -- There is no operation by which an object of type Id_Type
   -- can get a value.
   -- So how is an object of Item_Type supposed to be stored in Buf?
   -- If you've solved this problem, perhaps your problem with pointer
   -- lifetime is also solved.

   function Item (P: Id_Type; Ix: Index_Type) return Reference_Type;

private

   type Buffer_Type is array (Index_Type) of aliased Item_Type;

   type Id_Type is
   record
      Buf               : Buffer_Type;
      None_Allocated_Yet: Boolean    := True;
      Last_Used         : Index_Type := Index_Type'First;
   end record;
   
end Generic_Pool;

Why don't you you use System.Storage_Pools RM 13.11?