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

⟦b515d1a4b⟧ Ada Source

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

Derivation

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

E3 Source Code



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


    -- function Send_Message (Message : Standard.Message.Object)
    --                       return Standard.Message.Object;
    --
    --
end Behavior;

E3 Meta Data

    nblk1=4
    nid=3
    hdr6=6
        [0x00] rec0=22 rec1=00 rec2=01 rec3=094
        [0x01] rec0=1f rec1=00 rec2=04 rec3=04e
        [0x02] rec0=05 rec1=00 rec2=02 rec3=000
        [0x03] rec0=05 rec1=00 rec2=02 rec3=000
    tail 0x2154baf1a87a073128ae0 0x42a00088462060003
Free Block Chain:
  0x3: 0000  00 00 00 04 80 01 6f 01 02 03 00 00 00 00 00 00  ┆      o         ┆