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

⟦60d7279ce⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Mailbox, seg_027bea

Derivation

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

E3 Source Code



with Fifo;  
with Socket_Defs;  
with Text_Io;


package body Mailbox is

    package Fifo_Mailbox is new Fifo
                                   (Element => Element, Element_Image => Image);

    task body Task_Mailbox is
        Tmp : Element;
    begin
        loop
            select
                accept Get (Item : out Element; Result : out Boolean) do
                    Text_Io.Put_Line
                       ("(mailbox).Get : Someone asked for an element.");
                    if not Fifo_Mailbox.Is_Empty then
                        Fifo_Mailbox.Get (Item);
                        Text_Io.Put_Line
                           ("(mailbox).Get : An element is ready.");
                        Result := True;
                    else
                        Text_Io.Put_Line
                           ("(mailbox).Get : No element was present.");
                        Result := False;
                    end if;
                end Get;
            or
                accept Put (Item : in Element; Result : out Boolean) do
                    Text_Io.Put_Line
                       ("(mailbox).Put : Someone sent an element.");
                    if not Fifo_Mailbox.Is_Full then
                        Fifo_Mailbox.Put (Item);
                        Result := True;
                    else
                        Result := False;
                    end if;
                    Text_Io.Put_Line ("(mailbox).Put : End.");
                end Put;
            or
                accept Clear do
                    Fifo_Mailbox.Clear;
                end Clear;
            or

                terminate;
            end select;
        end loop;

    end Task_Mailbox;

end Mailbox;

E3 Meta Data

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=1e rec1=00 rec2=01 rec3=030
        [0x01] rec0=1a rec1=00 rec2=02 rec3=001
    tail 0x21721e21483ad51c593d0 0x42a0008846207f403