|
|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - download
Length: 4096 (0x1000)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, seg_029647
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
WITH Messages;
WITH List_Generic;
PACKAGE Mailboxes IS
-- This package defines an abstraction for defining and manipulating
-- mailboxes that contain messages.
SUBTYPE Sequence_Number IS Natural;
-- A way to refer to a message in a mailbox by indicating its position.
TYPE Mailbox IS PRIVATE;
FUNCTION Make RETURN Mailbox;
-- Returns an empty mailbox.
PROCEDURE Add (Message : Messages.Message; The_Mailbox : IN OUT Mailbox);
-- Adds a message to the end of a mailbox. The "Read" flag for the new
-- message is set to False.
FUNCTION Last_Message (The_Mailbox : Mailbox) RETURN Sequence_Number;
-- Returns the index of the last message in the mailbox. 0 iff no messages.
FUNCTION Get_Message (Message : Sequence_Number; The_Mailbox : Mailbox)
RETURN Messages.Message;
-- Returns the indicated message from the mailbox.
FUNCTION Get_Read_Flag (Message : Sequence_Number; The_Mailbox : Mailbox)
RETURN Boolean;
-- Returns the value of the "Read" flag from the indicated message.
PROCEDURE Set_Read_Flag (Message : Sequence_Number;
New_Value : Boolean;
The_Mailbox : IN OUT Mailbox);
-- Sets the "Read" flag for the indicated message to the value supplied.
PROCEDURE Delete_Message (Message : Sequence_Number;
The_Mailbox : IN OUT Mailbox);
-- Deletes the indicated message from the mailbox.
Nonexistent_Sequence_Number : EXCEPTION;
-- Raised if the Sequence_Number supplied to any of the above operations
-- is > the number of messages in the mailbox.
PRIVATE
TYPE Mailbox_Entry IS
RECORD
Read_Flag : Boolean;
Message : Messages.Message;
END RECORD;
PACKAGE Mailbox_List IS NEW List_Generic (Mailbox_Entry);
TYPE Mailbox IS NEW Mailbox_List.List;
END Mailboxes;
nblk1=3
nid=0
hdr6=6
[0x00] rec0=22 rec1=00 rec2=01 rec3=062
[0x01] rec0=1b rec1=00 rec2=02 rec3=016
[0x02] rec0=02 rec1=00 rec2=03 rec3=000
tail 0x21722f68e83d369fee767 0x489e0066482863001