DataMuseum.dk Presents historical artifacts from the history of: Rational R1000/400

This is an automatic "excavation" of a thematic subset of artifacts from Datamuseum.dk's BitArchive. See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software.

top - download

⟦edfcb253a⟧ Ada Source

    Length: 5120 (0x1400)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, generic, package Behavior_Dess, seg_05086d

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧ 

with Identifier;
with Message_New;  
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
                      (S : Message_Transport.Stream_Id; M : String);


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


package Behavior_Dess 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_New.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


    function Send_Message (Message : Standard.Message_New.Object)
                          return Standard.Message_New.Object;


end Behavior_Dess;

    nblk1=4
    nid=0
    hdr6=8
        [0x00] rec0=22 rec1=00 rec2=01 rec3=020
        [0x01] rec0=04 rec1=00 rec2=03 rec3=084
        [0x02] rec0=1f rec1=00 rec2=04 rec3=030
        [0x03] rec0=05 rec1=00 rec2=02 rec3=000
    tail 0x2154aedb2878e4ca97177 0x42a00088462060003