24 lines
398 B
Ada
24 lines
398 B
Ada
|
|
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;
|
|
|