blob: 6b0b0d044c6fd1ad203e5c1c1667717447e438a4 [file] [log] [blame]
package Rep_Clause6 is
type B1_Type is range 0 .. 2**1 - 1;
for B1_Type'Size use 1;
type U10_Type is range 0 .. 2**10 - 1;
for U10_Type'Size use 10;
type B5_Type is range 0 .. 2**5 - 1;
for B5_Type'Size use 5;
type B11_Type is range 0 .. 2**11 - 1;
for B11_Type'Size use 11;
type Rec1 is record
B1 : B1_Type;
U10 : U10_Type;
B5 : B5_Type;
end record;
for Rec1 use record
B1 at 0 range 0 .. 0;
U10 at 0 range 1 .. 10;
B5 at 0 range 11 .. 15;
end record;
for Rec1'Size use 16;
type Arr is array (1 .. 5) of Rec1;
for Arr'Size use 80;
subtype Header_Type is String (1 .. 16);
type Rec2 is record
Header : Header_Type;
Spare_5 : B5_Type;
Deleted_Reports : Arr;
Block_End : B11_Type;
end record;
for Rec2 use record
Header at 0 range 0 .. 127;
Spare_5 at 16 range 0 .. 4;
Deleted_Reports at 16 range 5 .. 84;
Block_End at 24 range 21 .. 31;
end record;
for Rec2'Size use 224;
type Enum is (A_Msg, B_Msg, C_Msg, D_Msg);
type Rec3 (Msg_Type : Enum := Enum'First) is record
case Msg_Type is
when A_Msg => A_M : Arr;
when B_Msg => B_M : Arr;
when C_Msg => C_M : Rec2;
when others => null;
end case;
end record;
procedure Dummy;
end Rep_Clause6;