3 package double_record_extension2
is
5 type Base_Message_Type
(Num_Bytes
: Positive) is tagged record
6 Data_Block
: String (1..Num_Bytes
);
9 type Extended_Message_Type
(Num_Bytes1
: Positive; Num_Bytes2
: Positive) is new Base_Message_Type
(Num_Bytes1
) with record
10 A
: String (1..Num_Bytes2
);
13 type Final_Message_Type
is new Extended_Message_Type
with record
17 end double_record_extension2
;