DataMuseum.dk

top - download

    Length: 1372 (0x55c)
    Types: TextFile
    Names: »B«

└─⟦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

package body Net_Info is

    R1000_Ip_Address : constant Transport_Defs.Host_Id := (192, 5, 60, 20);

    Sparc_Ip_Address : constant Transport_Defs.Host_Id := (192, 5, 60, 21);

    The_R1000_Socket : constant Transport_Defs.Socket_Id := (1, 28);
    -- This socket is used by the R1000 Server and the Sparc Client

    The_Sparc_Socket : constant Transport_Defs.Socket_Id := (4, 86);
    -- This socket is used by the Sparc Server and the R1000 Client

    The_Net_Name : constant Transport_Defs.Network_Name :=
       Transport_Defs.Normalize ("TCP/IP");

    The_Test_String : constant String := "Hello There";



    function Test_String return String is  
    begin
        return The_Test_String;
    end Test_String;


    function Net_Name return Transport_Defs.Network_Name is
    begin
        return The_Net_Name;
    end Net_Name;


    function R1000_Address return Transport_Defs.Host_Id is
    begin
        return R1000_Ip_Address;
    end R1000_Address;


    function Sparc_Address return Transport_Defs.Host_Id is
    begin
        return Sparc_Ip_Address;
    end Sparc_Address;


    function R1000_Socket return Transport_Defs.Socket_Id is
    begin
        return The_R1000_Socket;
    end R1000_Socket;


    function Sparc_Socket return Transport_Defs.Socket_Id is
    begin
        return The_Sparc_Socket;
    end Sparc_Socket;


end Net_Info;