blob: 7a98f9dcc285f588a1979b39314dfdafe78fab19 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
-- { dg-do compile }
procedure Prot1 is
protected type Prot is
procedure Change (x : integer);
private
Flag : Boolean;
end Prot;
type Handle is access protected procedure (X : Integer);
procedure Manage (Ptr : Handle) is
begin
null;
end;
protected body prot is
procedure Change (x : integer) is begin null; end;
end;
Sema : Prot;
begin
Manage (Sema.Change'Unrestricted_Access);
end;
|
