summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/sync_iface_test.ads
blob: c172d7fa2b12d1fc6f270b6455a6512148d36ef2 (plain)
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;