--Helen: added this file to implement RPC

with Ada.Streams;
package System.RPC is
   type Partition_ID is range 0 .. 100;
   Communication_Error : exception;
   type Params_Stream_Type (
      Initial_Size : Ada.Streams.Stream_Element_Count) is new
      Ada.Streams.Root_Stream_Type with private;
   procedure Read (
      Stream : in out Params_Stream_Type;
      Item : out Ada.Streams.Stream_Element_Array;
      Last : out Ada.Streams.Stream_Element_Offset);
   procedure Write (
      Stream : in out Params_Stream_Type;
      Item : in Ada.Streams.Stream_Element_Array);

   -- Synchronous call
   procedure Do_RPC (
      Partition : in Partition_ID;
      Params    : access Params_Stream_Type;
      Result    : access Params_Stream_Type);

   -- Asynchronous call
   procedure Do_APC(
      Partition : in Partition_ID;
      Params    : access Params_Stream_Type);

   -- The handler for incoming RPSc
   type RPC_Receiver is access procedure (
      Params : access Params_Stream_Type;
      Result : access Params_Stream_Type);

   procedure Establish_RPC_Receiver (
      Partition : in Partition_ID;
      Receiver : in RPC_Receiver);
end System.RPC;