DataMuseum.dk

top - download

    Length: 1702 (0x6a6)
    Types: TextFile
    Names: »B«

└─⟦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, Time_Utilities, Unbounded;

PACKAGE BODY Messages IS


   FUNCTION Make RETURN Message IS
      New_Message : Message;
   BEGIN
      RETURN New_Message;
   END Make;


   PROCEDURE Set_To (To : Destination; The_Message : IN OUT Message) IS
   BEGIN
      The_Message.Message_To := To;
   END Set_To;


   PROCEDURE Set_From (From : Destination; The_Message : IN OUT Message) IS
   BEGIN
      The_Message.Message_From := From;
   END Set_From;


   PROCEDURE Set_Date (Date : Tu.Time; The_Message : IN OUT Message) IS
   BEGIN
      The_Message.Message_Date := Date;
   END Set_Date;


   PROCEDURE Set_Subject (Subject     :        Lines.Line;
                          The_Message : IN OUT Message) IS
   BEGIN
      The_Message.Message_Subject := Unbounded.Value (Subject);
   END Set_Subject;


   PROCEDURE Set_Text (Text        :        Lines.Lines_Type;
                       The_Message : IN OUT Message) IS
   BEGIN
      The_Message.Message_Text := Text;
   END Set_Text;


   FUNCTION Get_To (The_Message : Message) RETURN Destination IS
   BEGIN
      RETURN The_Message.Message_To;
   END Get_To;


   FUNCTION Get_From (The_Message : Message) RETURN Destination IS
   BEGIN
      RETURN The_Message.Message_From;
   END Get_From;


   FUNCTION Get_Date (The_Message : Message) RETURN Tu.Time IS
   BEGIN
      RETURN The_Message.Message_Date;
   END Get_Date;


   FUNCTION Get_Subject (The_Message : Message) RETURN Lines.Line IS
   BEGIN
      RETURN Unbounded.Image (The_Message.Message_Subject);
   END Get_Subject;


   FUNCTION Get_Text (The_Message : Message) RETURN Lines.Lines_Type IS
   BEGIN
      RETURN The_Message.Message_Text;
   END Get_Text;


END Messages;