1package Iface_Test is
2   type Iface_1 is interface;
3   type Iface_2 is interface;
4
5   procedure Prepare_Select
6     (DB   : Iface_1;
7      Iter : in out Iface_2'Class) is abstract;
8
9   type DT_1 is new Iface_1 with null record;
10
11   type Iterator is new Iface_2 with record
12      More : Boolean;
13   end record;
14
15   overriding procedure Prepare_Select
16     (DB   : DT_1;
17      Iter : in out Standard.Iface_Test.Iface_2'Class);
18end;
19