DataMuseum.dk

top - download

    Length: 1882 (0x75a)
    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 Ready_To_Receive;
    --
    -- This procedure is called once the behavior has been registered.
    --
    -- It is intended to be used as a synchronization trigger between
    -- the receiving part and the transmitting part of the behavior.
    --
    -- This procedure is expected to return; the receiving part is blocked
    -- until then.
    --
    -- As long as Ready_To_Receive has not been called the semantic of
    -- Get_Identity and Send_Message is unknown, thus the transmitting part
    -- must be blocked until Ready_To_Receive is called.


    with procedure Process_Message (Message : Standard.Message.Object);
    --
    -- This procedure will be called when the behavior receives an
    -- incoming message.


package Behavior is


    Not_Registered_Error : exception;
    -- The Behavior could not be registered, this is likely to happen when
    -- the Broker was unreachable


    Not_Yet_Registered_Error : exception;
    -- Raised by Get_Identity and Send_Message as long as the behavior
    -- has not been properly registered



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



    procedure Send_Message (Message : Standard.Message.Object;
                            Status : out Message_Transport.Status_Code);
    --
    -- Sends a message.
    --
    -- When the addressee identity is not known locally by the behavior
    -- the message class must be Message.Forward, which means that the broker
    -- will take care of directing the message to it's destination.
    --
    -- Raises Not_Yet_Registered_Error when the Behavior is not properly registered


end Behavior;