blob: b232aa36da266852515ef1f88e1ae533d04cbd29 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
package body Nested_Subtype_Byref is
type Data (Stamped : Boolean) is record
case Stamped is
when True => Valid : Boolean;
when others => null;
end case;
end record;
type Message is record
F : Integer := 1;
D : Data (Stamped => True);
end record;
procedure Check is
M : Message;
begin
M.D.Valid := True;
end;
end;
|
