DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦42c133bf0⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, procedure Build_Server_Package_Spec, seg_020ba8, separate Rpc_Io

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦cfc2e13cd⟧ »Space Info Vol 2« 
        └─⟦this⟧ 

E3 Source Code



-- This procedure generate the standard server interface defined in
-- the RPC manual.
--
separate (Rpc_Io)
procedure Build_Server_Package_Spec (From_Db         : Analysis.Database;
                                     Named_With_Root : String;
                                     In_File         : Io.File_Type) is

    Defs : constant String := Rpc_Names.Rpc_Defs_Package (Named_With_Root);

    procedure Put (Line : String; Line_Feeds : Natural := 0) is
    begin
        Io.Put (In_File, Line);
        if Line_Feeds > 0 then
            Io.New_Line (File    => In_File,
                         Spacing => Io.Positive_Count (Line_Feeds));
        end if;
    end Put;

begin
    Put (Ada_Io.Make_With_Clause (Name => "Transport"));
    Put (Ada_Io.Make_With_Clause (Name => "Transport_Server"));
    Put (Ada_Io.Make_With_Clause (Name => Defs));

    Put (Ada_Io.Make_Package
            (Name => Rpc_Names.Remote_Server_Package (Named_With_Root),
             Kind => Ada_Io.Spec_Part));

    Put (Ada_Io.Make_Procedure
            (Name             => "Serve",
             Kind             => Ada_Io.Spec_Part,
             Parameters_Image => "Connection : Transport.Connection_Id"), 1);

    Put ("package Server is new Transport_Server (Serve);", 2);

    Put
       (Ada_Io.Make_Constant_Declaration
           (Name          => "Std",
            Type_Mark     => "Server.Pool_Id",
            Initial_Value =>
               "Server.Create (" & Defs & ".Network, " & Defs & ".Socket)"), 2);

    Put ("procedure Finalize (Abort_Servers : Boolean := False)" &
         " renames Server.Finalize;", 2);

    Put (Ada_Io.Make_End);
end Build_Server_Package_Spec;

E3 Meta Data

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=1c rec1=00 rec2=01 rec3=00e
        [0x01] rec0=15 rec1=00 rec2=02 rec3=000
    tail 0x2171d2e36838d451d36a0 0x42a00088462061e03