DataMuseum.dk

top - metrics - download

    Length: 847 (0x34f)
    Types: TextFile
    Names: »V«

└─⟦bfaa708f6⟧ Bits:30000531 8mm tape, Rational 1000, INSIGHT 1_3_0
    └─⟦c51948655⟧ »DATA« 
        └─⟦266b31e86⟧ 
            └─⟦this⟧ 

TextFile

package Client is

    Max_Clients : constant := 20;

    -- A Client.Id identifies an entity in the system.  Each client can
    -- send and receive messages.  Messages are delivered in a network-
    -- location-independent manner.

    -- Clients must register them selves when the come on-line.

    type Id is new Natural range 0 .. Max_Clients;
    --


    function Register (Client_Name : String) return Id;

    -- A call to Register identifies a client to the message system
    -- and returns the client id to the client.

    function Get_Id (Name : String) return Id;
    --  Return the client id

    Unknown_Client : exception;



    -- Clients known to this system
    Nil : constant Id := 0;
    Console : constant Id := 1;
    Log : constant Id := 2;

    function Re_Reg (Name : String) return Id renames Register;

end Client;