remote_type.adb

来自「用于进行gcc测试」· ADB 代码 · 共 27 行

--  { dg-do compile }
--  { dg-options "-gnatws" }

package body remote_type is
   procedure Append
     (Container : in out List;
      New_Item  : in     Element_Type)
   is
   begin
      null;
   end Append;
   procedure Read
     (S : access Root_Stream_Type'Class;
      L : out List)
   is
   begin
      null;
   end Read;
   procedure Write
     (S : access Root_Stream_Type'Class;
      L : in List)
   is
   begin
      null;
   end Write;
end remote_type;