DataMuseum.dk

top - download

    Length: 2609 (0xa31)
    Types: TextFile
    Names: »V«

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

PACKAGE Transport_Defs IS

   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 := 23;

END Transport_Defs;