DataMuseum.dk

top - metrics - download

    Length: 1575 (0x627)
    Types: TextFile
    Names: »V«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

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;