3 Default_String
: constant String := "This is a default string";
5 subtype Length
is Natural range 0..255;
7 type Root
(D1
: Length
) is tagged record
8 S1
: String(1..D1
) := Default_String
(1..D1
);
11 type Unconstrained_Der
is new Root
with record
12 Str1
: String(1..5) := "abcde";
15 type Der
(D2
: Length
) is new Unconstrained_Der
(D1
=> 10) with record