Re: limited /non-limited tagged type

[Hacid <chadi.alkurdi@gmail.com>]

On 4 mar, 21:10, Georg Bauhaus <rm-host.bauh...@maps.futureapps.de>
wrote:
> On 3/4/11 7:56 PM, Hacid wrote:
>
> > I understand why I can't define my type limited in the public part and
> > not limited in the private part. But is there a way to do what I
> > want ?
>
> > Something like :
>
> > package Foo is
>
> >     type Object is tagged private;
>
> >     function ":=" (Left : out Object,; Right : in Object) is abstract;
> > -- I know this looks strange
>
> > end Foo;
>
> Maybe something along these lines?
>
> package Foo_3 is
>
>      type Object is tagged limited private;
>
> private
>
>      type Wrapped is record
>          null;  -- ...
>      end record;
>
>      procedure Copy_Constructor
>          (Source :  in Object;
>           Target : out Object );
>
>      type Object is tagged limited
>          record
>              Data : Wrapped;
>          end record;
>
> end Foo_3;
>
> package body Foo_3 is
>
>      procedure Copy_Constructor
>          (Source :  in Object;
>           Target : out Object )
>      is
>      begin
>          Target.Data := Source.Data;
>      end Copy_Constructor;
>
> end Foo_3;

This solution works but if I extend my package with some addons, I am
blocked :

generic
   type Element is new Object with private;
package Foo_3.Pools is

   type Pool is limited private;
   -- Some services

   procedure Copy (From : in Pool; To : out Pool);

private

   type Pool is array (1 .. 1_000) of Element;

end Foo_3.Pools;
--
package body Foo_3.Pools is

   procedure Copy (From : in Pool; To : out Pool) is
   begin
      for I in To'Range loop
         Copy (From => From (I), To => To (I));
         -- This call copy just a part of Element !!!
      end loop;
   end Copy;

end Foo_3.Pools;

Do you see how to resolve this second problem ?

Thanks.