3 with text_io
; use text_io
;
4 procedure modify_a_constant
is
6 type Inner
(Outer_Ref
: access Outer
) is limited null record;
8 type Outer
is limited record
9 Inner_Field
: Inner
(Outer_Ref
=> Outer
'Access);
10 Integer_Field
: Integer;
13 X
: constant Outer
:= (Inner_Field
=> <>, Integer_Field
=> 123);
16 Put_Line
(Integer'image (X
.Integer_Field
));
17 X
.Inner_Field
.Outer_Ref
.Integer_Field
:= 0;
18 Put_Line
(Integer'image (X
.Integer_Field
));
19 end Modify_A_Constant
;