Re: Use of abstract tagged types without access types -- again and complete

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

On 6/9/11 7:50 PM, Prof. Dr. Carl Weierstrass wrote:
> This doesn't work, because:
> class-wide subtype with unknown discriminants in component declaration
>
> Of course I could use an access type to avoid the error but is there a
> way to
> do something like this without access types.

You can defer access types if this helps. An outline is below.
Maybe the SPARK people know how one may add polymorphic types
without pointers, or not.


with Test;
package Test_Test is

     generic
         type Expanded_Child_Type is new Test.Child_Type with private;
     package Child_Pick is
         type Some_Parent is new Test.Parent_Type with record
             Child : Expanded_Child_Type;
         end record;
     end Child_Pick;

     package Pick_1 is new Child_Pick (Test.Child_Type_1);

     package Pick_N is new Child_Pick (Test.Child_Type_N);

end Test_Test;


with Test, Test_Test;
procedure Test_Test_Test is
     type Ref is access Test.Parent_Type'Class;

     X : Ref := new Test_Test.Pick_1.Some_Parent;
     Y : Ref := new Test_Test.Pick_N.Some_Parent;
begin
     X := Y;
end Test_Test_Test;