generic

   type Element_Type is limited private;
   type Element_Type_Access is access Element_Type;

   with procedure Initialize (item : in out Element_Type) is <>;
   with procedure Copy (target : in out Element_Type; source : in Element_Type) is <>;
   with procedure Finalize (item : in out Element_Type) is <>;

package DDS.Limited_Holders_Generic is

type Holder is tagged private;

type Element_Type is limited private;

type Element_Type_Access is access Element_Type;

with procedure Initialize 
(
item
: in out Element_Type) is <>;

with procedure Copy 
(
target
: in out Element_Type;
source
: in Element_Type) is <>;

with procedure Finalize 
(
item
: in out Element_Type) is <>;

function To_Holder 
(
New_Item
: Element_Type) return Holder;

function "+" 
(
New_Item
: Element_Type) return Holder renames To_Holder;

function Get 
(
Container
: Holder) return Element_Type_Access;

procedure Set 
(
Container
: in out Holder;
New_Item
: Element_Type);

procedure References 
(
Container
: in out Holder;
New_Item
: Element_Type_Access);