DataMuseum.dk

top - download

    Length: 1498 (0x5da)
    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 Messages;
WITH Mailboxes;
WITH Destinations;

PACKAGE Command_Utilities IS

   -- This package defines some utilities for use by the higher-level
   -- command interpreter for the mail program.


   TYPE Command_Kind IS (Headers, Read, Send, Delete, Quit, Unknown);
   -- Defines the kind of commands the mail system implements.  Read and Delete
   -- take a single sequence number as an argument.

   TYPE Command IS
      RECORD
         Kind    : Command_Kind;
         Message : Mailboxes.Sequence_Number := 0;
         -- 0 indicates the command did not have a sequence number
      END RECORD;
   -- Defines the result of parsing a command line string.

   FUNCTION Get_Command RETURN Command;
   -- Reads a line of input from the user, parses it, and returns the command
   -- that was entered.


   FUNCTION Get_Message RETURN Messages.Message;
   -- Prompts the user to input the values for the fields in a message to be
   -- sent and returns the message entered.


   PROCEDURE Display_Message (Message : Messages.Message);
   -- Displays the indicated message to the user.

   PROCEDURE Display_Headers (Mailbox : Mailboxes.Mailbox);
   -- Displays the headers for the indicated mailbox to the user.


   PROCEDURE Notify_Of_Receipt (Sending_User   : Destinations.User;
                                Receiving_User : Destinations.User);
   -- Sends a mail receipt notification to the Receiving_User indicating the
   -- Sending_Users's name as the sender.

END Command_Utilities;