1 package Limited3_Pkg
is
3 type Limited_Rec
is limited
6 type Var_Rec
(X
: Integer) is record
7 Name
: String (1 .. X
);
11 type Rec
(D
: Boolean := True) is record
13 when True => L
: Limited_Rec
;
14 when False => I
: Integer;
18 function F
(I
: Integer) return Rec
;
20 function FS
(X
: Integer) return Var_Rec
;
22 type Rec2
(D
: Boolean := True) is record
24 when True => L
: access Limited_Rec
;
25 when False => I
: Integer;
29 function F2
(I
: Integer) return Rec2
;