gcc/testsuite/gnat.dg/iface1.ads

   1 generic
   2    type Data is private;
   3 package Iface1 is
   4    type Future is synchronized interface;
   5    type Any_Future is access all Future;
   6
   7    procedure Get (This : in out Future; P : out Data) is abstract;
   8    procedure Set (This : in out Future; P : in Data) is abstract;
   9
  10    type Reusable_Future is synchronized interface and Future;
  11    type Any_Reusable_Future is access all Reusable_Future'Class;
  12 end Iface1;