3 procedure Generic_Call_Iface
is
6 type Subscriber_Type
is interface
;
7 with procedure On_Changed
(Subscriber
: in out Subscriber_Type
)
10 type Subscriber_Ptr
is access all Subscriber_Type
'Class;
12 Subscriber
: Subscriber_Ptr
:= null;
15 package body My_Generic
is
18 if Subscriber
/= null then
19 Subscriber
.On_Changed
;
25 type Integer_Subscriber
is interface
;
26 procedure On_Changed_Int
(I
: in out Integer_Subscriber
) is abstract;
28 package P
is new My_Generic
29 (Subscriber_Type
=> Integer_Subscriber
,
30 On_Changed
=> On_Changed_Int
);