Re: Declaring constants for a abstract tagged type and concrete sub classes

[Simon Wright <simon@pushface.org>]

Serge Robyns <serge.robyns@gmail.com> writes:

> package Abstract_Root is
>    type T_Root is abstract tagged with private;
>    procedure Set_XYZ (Self: in out T_Root; ABC : in Integer);
>    function Get_XYZ (Self: in T_Root) return Integer;
> private
>    type T_Root is abstract tagged record
>       XYZ : Integer;
>    end record;
> end Abstract_Root;

> package Concrete is
>    type T_Concrete is new T_Root with private;
>    No_Element : constant T_Concrete;
>    ....
> private
>    type T_Concrete is new T_Root with record
>       ...
>    end record;
>    No_Element : constant T_Concrete := (Abstract_Root.No_Element, ...);
> end Concrete;

You could write

   with Abstract_Root;
   package Concrete is
      type T_Concrete is new Abstract_Root.T_Root with private;
      No_Element : constant T_Concrete;
   private
      type T_Concrete is new Abstract_Root.T_Root with record
         ABC : Integer;
      end record;
      No_Element : constant T_Concrete
        := (Abstract_Root.T_Root with ABC => -42);
   end Concrete;

(or whatever will suit you)

but I think you'll have to give T_Root.XYZ an equivalent default value,
or equality won't work.