gcc/testsuite/gnat.dg/sync_iface_call_pkg.ads

   1 package Sync_Iface_Call_Pkg is
   2
   3    type IFace is synchronized interface;
   4
   5    procedure Do_Stuff
   6      (This  : in out IFace;
   7       Value : in Integer) is null;
   8
   9    procedure Do_Stuff_Access
  10      (This  : in out IFace;
  11       Value : not null access Integer) is null;
  12
  13    procedure Do_Stuff_2
  14      (This  : not null access IFace;
  15       Value : in Integer) is null;
  16
  17    procedure Do_Stuff_2_Access
  18      (This  : not null access IFace;
  19       Value : not null access Integer) is null;
  20
  21 end Sync_Iface_Call_Pkg;