gcc-4.9/gcc/testsuite/gnat.dg/sync_iface_test.ads


1
2
3
4
5
6
7
8
9
10
11

package Sync_Iface_Test is
   type Iface is limited interface;
   function First (Obj : Iface) return Natural is abstract;

   protected type Buffer is new Iface with
      procedure Dummy;
   end;
   overriding function First (Obj : Buffer) return Natural;

   procedure Do_Test (Dummy : Natural; Item  : Buffer);
end;