DataMuseum.dk

top - download

    Length: 2301 (0x8fd)
    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 Identifier;
with Message;  
with Message_Transport;

generic


    with procedure Publish (Self : Identifier.Object);
    --
    -- This procedure is called after registration, and is intended
    -- to perform all initial publications.


    with procedure Process_Message (Message : Standard.Message.Object;
                                    Handled : out Boolean);
    --
    -- This procedure is called when the server receives an incoming message.
    --
    -- If the message is unknown (this happens if the message is an answer
    -- to some actor's request) the Handled flag must be set to false.


package Agent is


    -- An agent is a dual behavior, with a server part and an actor part.
    --
    -- The server communicates with the actor via messages, transmitted
    -- internaly.
    --
    -- The actor chooses to wait or not for messages handed over by the server.
    --
    -- The server discards messages which cannot be delivered to the actor.



    function Get_Identity return Identifier.Object;
    --
    -- Returns the unique identifier which has been received during
    -- registration
    --
    -- Raises Not_Yet_Registered_Error when the agent is not properly
    -- registered



    procedure Wait_For_Reply (Message : out Standard.Message.Object;
                              Time_Out : Duration;
                              Expired : out Boolean);
    --
    -- Answers to actor's requests are handed over by the server.
    --
    -- The actor must be waiting for the reply in order to receive it from
    -- the server.
    --
    -- Control is returned to the actor either when a message is received
    -- or when the Time_Out has expired.
    --
    -- If the transmiter part is not waiting, the message is simply discarded.



    generic  
        with procedure Actor;
        --
        -- This procedure is intended to send messages to the outside
        -- world.
        --
        -- Answers to requests are first handled by the receiver part, and next
        -- propagated to the actor, provided that the actor is waiting for
        -- a reply (by calling Wait_For_Reply).

    package Core is

        procedure Start;
        --
        -- This procedure never returns, it starts the actor and the server.

    end Core;


end Agent;