gcc/testsuite/gnat.dg/remote_type.ads

   1 with Ada.Streams;
   2 generic
   3    type Element_Type is private;
   4 package remote_type is
   5    pragma Remote_Types;
   6    type List is private;
   7    procedure Append
   8      (Container : in out List;
   9       New_Item  : in     Element_Type);
  10 private
  11    use Ada.Streams;
  12    type List_Record is record
  13       A : Boolean;
  14    end record;
  15    type List is access List_Record;
  16    procedure Read
  17      (S : access Root_Stream_Type'Class;
  18       L : out List);
  19    for List'Read use Read;
  20    procedure Write
  21      (S : access Root_Stream_Type'Class;
  22       L : in List);
  23    for List'Write use Write;
  24 end remote_type;