Re: limited /non-limited tagged type

[Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>]

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;