B.0. Dereference - JulTob/Ada GitHub Wiki
type R is record
F1, F2 : Integer:
end record;
type A_Int is access all Integer;
type A_String is access all String;
type A_R is access all R;
V_Int : A_Int := new Integer;
V_String : A_String := new String'("abc");
V_R : A_R := new R;
--
[…]
V_Int.all := 0;
V_String.all := "cde";
V_String (1) := 'z'; -- similar to V_String.all (1) := 'z';
V_R.all := (0, 0);
V_R.F1 := 1; -- similar to V_R.all.F1 := 1;