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

[Bob Duff <bobduff@theworld.com>]

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

> type T_Root ...
> No_Root_Element : T_Root := (a, b, c);
>
> type T_Sub is new T_Root ....
> No_Sub_Element : T_Sub := ( ??? No_Root_Element ???, x, y z);

One possibility is to declare T_Root with default values for the
components, such that those defaults are what you want for a "No_...".
Then you can do:

    No_Sub_Element : T_Sub := (T_Root with X => X, Y => Y, Z => Z);

Or if T_Sub also has meaningful defaults, then:

    No_Sub_Element : T_Sub := (T_Root with others => <>);

I don't much like using default values, but in this kind of case
it might be the best choice.

- Bob