DataMuseum.dk

top - download

    Length: 2407 (0x967)
    Types: TextFile
    Names: »V«

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─ ⟦124ff5788⟧ »DATA« 
        └─⟦this⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─ ⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧ 

TextFile

WITH Rpc;
WITH Transport;
WITH Transport_Stream;

PACKAGE Rpc_Server IS

   PROCEDURE Begin_Response (Stream : Transport_Stream.Stream_Id;
                             Id     : Rpc.Transaction_Id);

   GENERIC
      Program   : Rpc.Program_Number;
      Supported : Rpc.Version_Range := (0, Rpc.Version_Number'Last);

      WITH PROCEDURE Process_Call (Stream  : Transport_Stream.Stream_Id;
                                   Id      : Rpc.Transaction_Id;
                                   Version : Rpc.Version_Number;
                                   Proc    : Rpc.Procedure_Number) IS <>;

      -- Process one procedure call: get the arguments from
      -- the STREAM, make the call, call BEGIN_RESPONSE
      -- (STREAM, ID), and put the results into the stream.
      -- If an exception is raised, call RETURN_EXCEPTION.
      -- If an unexpected exception is raised, simply let it
      -- propagate.  The caller will catch it.  The caller
      -- will also take care of flushing the stream transmit
      -- buffer on return.

   PROCEDURE Serve (Connection : Transport.Connection_Id);

   -- Serve an incoming RPC connection: Allocate a transport
   -- stream.  Check the incoming package and version.  If
   -- they don't match, transmit an exception.  If they
   -- match, process calls until the connection is
   -- disconnected.  On each call, catch any propagated
   -- exceptions and transmit them, and flush the transmit
   -- buffer.  When the connection is disconnected, or a
   -- protocol error occurs, deallocate the transport stream
   -- and return.


   PROCEDURE Return_Exception (Stream : Transport_Stream.Stream_Id;
                               Id     : Rpc.Transaction_Id;
                               Excep  : Rpc.Exception_Number);

   -- Like Begin_Response (above) except that it returns an exception.
   -- The server must NOT return any data following the exception.



   -- Serve an incoming RPC connection: Allocate a transport
   -- stream.  Check the incoming package and version.  If
   -- they don't match, transmit an exception.  If they
   -- match, process calls until the connection is
   -- disconnected.  On each call, catch any propagated
   -- exceptions and transmit them, and flush the transmit
   -- buffer.  When the connection is disconnected, or a
   -- protocol error occurs, deallocate the transport stream
   -- and return.

END Rpc_Server;