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 - metrics - download

⟦0d7c7fa81⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, seg_02970f

Derivation

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

WITH Lines;
WITH Time_Utilities;
WITH Destinations;

WITH Unbounded;

PACKAGE Messages IS

   -- This is the abstraction for representing messages

   PACKAGE Tu RENAMES Time_Utilities;
   SUBTYPE Destination IS Destinations.User;


   TYPE Message IS PRIVATE;
   -- Defines a message


   FUNCTION Make RETURN Message;
   -- Returns a new Message with default field values for
   -- the To, From, Date, Subject, and Text fields.


   PROCEDURE Set_To (To : Destination; The_Message : IN OUT Message);
   PROCEDURE Set_From (From : Destination; The_Message : IN OUT Message);
   PROCEDURE Set_Date (Date : Tu.Time; The_Message : IN OUT Message);
   PROCEDURE Set_Subject (Subject : Lines.Line; The_Message : IN OUT Message);
   PROCEDURE Set_Text (Text : Lines.Lines_Type; The_Message : IN OUT Message);
   -- The above constructors set the various fields of messages.


   FUNCTION Get_To      (The_Message : Message) RETURN Destination;
   FUNCTION Get_From    (The_Message : Message) RETURN Destination;
   FUNCTION Get_Date    (The_Message : Message) RETURN Tu.Time;
   FUNCTION Get_Subject (The_Message : Message) RETURN Lines.Line;
   FUNCTION Get_Text    (The_Message : Message) RETURN Lines.Lines_Type;
   -- The above selectors return the various fields of messages.

PRIVATE
   TYPE Message IS
      RECORD
         Message_To      : Destinations.User;
         Message_From    : Destinations.User;
         Message_Date    : Tu.Time;
         Message_Subject : Unbounded.Variable_String;
         Message_Text    : Lines.Lines_Type;
      END RECORD;
END Messages;

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=22 rec1=00 rec2=01 rec3=016
        [0x01] rec0=10 rec1=00 rec2=02 rec3=000
    tail 0x2152194fa83d36aa4b36e 0x489e0066482863001