//----------------------------------------------------------------------
//  SPECIFICATION FILE (password.h)
//  This module provides functions to store and verify a password.
//  Note: A password is only valid during the lifetime of the
//        importing program.
//----------------------------------------------------------------------
#include "bool.h"

extern void GetPassword();
    // PRE:  Input is coming from the keyboard
    // MODIFIES: cout, cin
    // POST: After a prompt, the user has supplied a password

extern Boolean ValidUser();
    // PRE:  GetPassword has been invoked previously
    //    && Input is coming from the keyboard
    // MODIFIES: cout, cin
    // POST: The user has been prompted to repeat the most
    //       recently supplied password
    //    && a password has been read from cin
    //    && FCTVAL == TRUE,  if the passwords are identical
    //              == FALSE, otherwise