DataMuseum.dk

top - download

    Length: 4026 (0xfba)
    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 Interchange;
WITH Transport_Stream;

PACKAGE Rpc IS

   TYPE Version_Number IS NEW Interchange.Short_Integer;

   TYPE Version_Range IS
      RECORD
         First, Last : Version_Number;
      END RECORD;

   TYPE Transaction_Id IS NEW Interchange.Short_Integer;

   TYPE Program_Number IS NEW Interchange.Integer;

   TYPE Procedure_Number IS NEW Interchange.Short_Integer;


   TYPE Error_Type IS (Error_Other, Error_Constraint, Error_Numeric,
                       Error_Program, Error_Storage, Error_Tasking,
                       Status_Error, Mode_Error, Name_Error, Use_Error,
                       Device_Error, End_Error, Data_Error, Layout_Error,
                       Error_Server_Defined, Error_Username_Or_Password);

   -- for Error_Type use
   --     (0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15);


   TYPE Reject_Kind IS (Rej_No_Such_Program, Rej_No_Such_Version,
                        Rej_No_Such_Procedure, Rej_Invalid_Argument);

   -- for Reject_Kind use (0, 1, 2, 3);


   TYPE Reject_Details (Kind : Reject_Kind := Rej_Invalid_Argument) IS
      RECORD
         CASE Kind IS
            WHEN Rej_No_Such_Version =>
               Supported : Version_Range;
            WHEN OTHERS =>
               NULL;
         END CASE;
      END RECORD;


   TYPE Message_Kind IS (Call_Message, Reject_Message,
                         Return_Message, Abort_Message);

   -- for Message_Kind use (0, 1, 2, 3);


   TYPE Message_Header (Kind : Message_Kind := Return_Message) IS
      RECORD
         Id : Transaction_Id := 0;
         CASE Kind IS
            WHEN Call_Message =>
               Program : Program_Number;
               Version : Version_Number;
               Proc    : Procedure_Number;
               -- argument values follow
            WHEN Reject_Message =>
               Details : Reject_Details;
            WHEN Return_Message =>
               NULL;
               -- result values follow
            WHEN Abort_Message =>
               Error : Error_Type;
         END CASE;
      END RECORD;


   -- Interchange operations on the above types:

   SUBTYPE Stream_Id IS Transport_Stream.Stream_Id;

   PROCEDURE Put (Into : Stream_Id; Data : Version_Range);
   PROCEDURE Get (From : Stream_Id; Data : OUT Version_Range);

   PROCEDURE Put_Message (Into : Stream_Id; Data : Message_Header);
   FUNCTION  Get_Message (From : Stream_Id) RETURN Message_Header;

   -- This last procedure is a little unusual.  If the gotten value
   -- is OK, it returns it, otherwise it raises the corresponding
   -- exception.  In a sense, an exception (or lack thereof) is a
   -- possible return value.

   Protocol_Error       : EXCEPTION;
   No_Such_Program      : EXCEPTION;
   No_Such_Version      : EXCEPTION;
   No_Such_Procedure    : EXCEPTION;
   Other_Error          : EXCEPTION;
   Invalid_Argument     : EXCEPTION;
   Server_Defined_Error : EXCEPTION;


   TYPE Exception_Number IS NEW Interchange.Integer;

   PROCEDURE Put (Into : Stream_Id; Data : Exception_Number);
   PROCEDURE Get (From : Stream_Id; Data : OUT Exception_Number);


   FUNCTION Overlaps (X, Y : Version_Range) RETURN Boolean;
   -- Return true if X and Y have some versions in common.

   FUNCTION Max (X, Y : Version_Range) RETURN Version_Number;
   -- Return the largest version which is common to both X & Y.

   Defined_Versions : CONSTANT Version_Range := (3, 5);
   -- RPC protocol versions which have been defined.

   Exception_Versions : CONSTANT Version_Range := (4, Version_Number'Last);
   -- RPC protocol versions which support server-defined exceptions.

   Username_Versions : CONSTANT Version_Range := (5, Version_Number'Last);
   -- RPC protocol versions which support passing Username & Password
   -- information with each call.

   Username_Or_Password_Error : EXCEPTION;
   -- The Username & Password supplied with a remote procedure call
   -- were rejected by the server machine, either because there is
   -- no such Username or because the Password is incorrect.

END Rpc;