⟦70a90131b⟧

E3 Source Code



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;
DataMuseum.dk

Rational R1000/400

⟦70a90131b⟧ Ada Source

Derivation

E3 Source Code

E3 Meta Data
