DataMuseum.dk

top - download

    Length: 2861 (0xb2d)
    Types: TextFile
    Names: »V«

└─⟦d10a02448⟧ Bits:30000409 8mm tape, Rational 1000, ENVIRONMENT, D_12_7_3
    └─ ⟦fc9b38f02⟧ »DATA« 
        └─⟦9b46a407a⟧ 
            └─⟦12c68c704⟧ 
                └─⟦this⟧ 
└─⟦5f3412b64⟧ Bits:30000745 8mm tape, Rational 1000, ENVIRONMENT 12_6_5 TOOLS 
    └─ ⟦91c658230⟧ »DATA« 
        └─⟦458657fb6⟧ 
            └─⟦220843204⟧ 
                └─⟦this⟧ 

TextFile

with Byte_Defs;

package Transport_Defs is

    pragma Subsystem (Network, Private_Part => Closed);
    pragma Module_Name (4, 2508);

    type Network_Name is new String;
    -- Identifies one of the several networks to which the system
    -- may be connected, e.g.  "Milnet", "Telenet", "Bitnet", etc.

    Null_Network_Name : constant Network_Name := "";

    function Normalize (Value : Network_Name) return Network_Name;
    -- Strips leading/trailing blanks, and maps to upper case.

    function Hash (Value : Network_Name) return Natural;


    type Host_Id is new Byte_Defs.Byte_String;
    -- Identifies a machine within a network.

    Null_Host_Id : constant Host_Id (1 .. 0) := (others => 0);

    function Normalize (Value : Host_Id) return Host_Id;
    -- Strips leading 0's.

    function Hash (Value : Host_Id) return Natural;


    type Socket_Id is new Byte_Defs.Byte_String;
    -- Identifies a program within a machine.

    Null_Socket_Id : constant Socket_Id (1 .. 0) := (others => 0);

    function Normalize (Value : Socket_Id) return Socket_Id;
    -- Strips leading 0's.

    function Hash (Value : Socket_Id) return Natural;


    type Status_Code is new Integer;
    -- An encoding of the outcome of a TRANSPORT operation.

    function Image (Status : Status_Code) return String;
    -- Returns a printable string, describing the error.

    Ok                     : constant Status_Code := 0;
    No_Local_Resources     : constant Status_Code := 1;
    No_Free_Sockets        : constant Status_Code := 2;
    No_Free_Memory         : constant Status_Code := 3;
    Not_Open               : constant Status_Code := 4;
    Not_Connected          : constant Status_Code := 5;
    Too_Many_Clients       : constant Status_Code := 6;
    Timed_Out              : constant Status_Code := 7;
    No_Such_Host           : constant Status_Code := 8;
    Connection_Refused     : constant Status_Code := 9;
    Disconnected           : constant Status_Code := 10;
    Connection_Broken      : constant Status_Code := 11;
    No_Hardware            : constant Status_Code := 12;
    No_Such_Network        : constant Status_Code := 13;
    Not_Initialized        : constant Status_Code := 14;
    Not_Downloaded         : constant Status_Code := 15;
    Socket_In_Use          : constant Status_Code := 16;
    Access_Denied          : constant Status_Code := 17;
    No_Free_Connections    : constant Status_Code := 18;
    Not_Registered         : constant Status_Code := 19;
    Network_Unreachable    : constant Status_Code := 20;
    Host_Unreachable       : constant Status_Code := 21;
    Protocol_Not_Supported : constant Status_Code := 22;
    No_Such_Socket         : constant Status_Code := 30;
    No_Response            : constant Status_Code := 31;
    Data_Too_Long          : constant Status_Code := 32;

end Transport_Defs;