//----------------------------------------------------------------------
//  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"

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

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