2 -- { dg-options "-gnatws" }
6 F1_Poe
: Integer := 18;
8 function F1
return Integer is
15 type T
is limited private;
16 with function Is_Ok
(X
: T
) return Boolean;
32 type Arr
is array (1 .. 2) of Poe
;
34 B
: Boolean := Is_Ok
(T
(X
(1)));
41 protected type Poe
(D3
: Integer := F1
) is
42 entry E
(D3
.. F1
); -- F1 evaluated
43 function Is_Ok
return Boolean;
47 entry E
(for I
in D3
.. F1
) when True is
51 function Is_Ok
return Boolean is
57 function Is_Ok
(C
: Poe
) return Boolean is
62 procedure Chk
is new Check
(Poe
, Is_Ok
);