DataMuseum.dk

top - metrics - download

    Length: 2837 (0xb15)
    Types: TextFile
    Names: »B«

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─⟦124ff5788⟧ »DATA« 
        └─⟦this⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Rpc;
with Rpc_Server;
with Transport_Stream;
with Transport_Interchange;
with Behavior_Interchange;
with Interchange;
with Behavior;
with Behavior;
package body Behavior_Server is


    procedure Do_Nothing is
    begin
        null;
    end Do_Nothing;

    procedure Process_Call (Stream : Transport_Stream.Stream_Id;  
                            Id : Rpc.Transaction_Id;  
                            Version : Rpc.Version_Number;  
                            Proc : Rpc.Procedure_Number) is
    begin
        case Proc is
            when Behavior_Rpc_Defs.Procedure_Number.Manger =>
                declare
                    S : constant String :=
                       Transport_Interchange.Get_String (From => Stream);
                begin
                    Behavior.Manger (S => S);

                    Rpc_Server.Begin_Response (Stream, Id);
                end;
            when Behavior_Rpc_Defs.Procedure_Number.Boire =>
                declare
                    I : Integer;
                begin
                    Transport_Interchange.Get (From => Stream,
                                               Data => Interchange.Integer (I));
                    Behavior.Boire (I => I);

                    Rpc_Server.Begin_Response (Stream, Id);
                end;
            when others =>
                raise Rpc.No_Such_Procedure;
        end case;
    exception
        when Constraint_Error =>
            Rpc_Server.Return_Exception
               (Stream, Id, Behavior_Rpc_Defs.Exception_Number.
                               Constraint_Error);

        when Numeric_Error =>
            Rpc_Server.Return_Exception
               (Stream, Id, Behavior_Rpc_Defs.Exception_Number.Numeric_Error);

        when Program_Error =>
            Rpc_Server.Return_Exception
               (Stream, Id, Behavior_Rpc_Defs.Exception_Number.Program_Error);

        when Storage_Error =>
            Rpc_Server.Return_Exception
               (Stream, Id, Behavior_Rpc_Defs.Exception_Number.Storage_Error);

        when Tasking_Error =>
            Rpc_Server.Return_Exception
               (Stream, Id, Behavior_Rpc_Defs.Exception_Number.Tasking_Error);

    end Process_Call;

    procedure Serve_Guts is new Rpc_Server.Serve
                                   (Program => Behavior_Rpc_Defs.Program,
                                    Supported => (0, Rpc.Version_Number'Last),
                                    Process_Call => Process_Call,
                                    Initialize => Do_Nothing,
                                    Main_Loop_Preprocess => Do_Nothing,
                                    Main_Loop_Postprocess => Do_Nothing);

    procedure Serve (Connection : Transport.Connection_Id) is
    begin
        Serve_Guts (Connection, False);
    end Serve;

end Behavior_Server;