gcc/testsuite/gnat.dg/tf_interface_1.ads

   1 with Ada.Streams;
   2 with Ada.Streams.Stream_IO; use Ada.Streams.Stream_IO;
   3 package TF_INTERFACE_1 is
   4
   5    type CF_INTERFACE_1 is interface;
   6
   7    procedure P_PROCEDURE_1 (This : in out CF_INTERFACE_1)
   8    is abstract;
   9
  10    procedure Read (Stream : not null access ada.Streams.Root_stream_Type'Class;
  11                    Item : out CF_INTERFACE_1) is null;
  12    for CF_INTERFACE_1'Read use Read;
  13
  14    procedure Write (Stream : not null access ada.Streams.Root_stream_Type'Class;
  15                    Item : CF_INTERFACE_1) is null;
  16    for CF_INTERFACE_1'Write use Write;
  17
  18    procedure Get_It (Handle : Stream_Access; It : out CF_Interface_1'class);
  19 end TF_INTERFACE_1;