/*--------------------------------------------------------------------*/
/* stackaochecker.h                                                   */
/* Author: Christopher Moretti                                        */
/*--------------------------------------------------------------------*/

#ifndef STACKAOCHECKER_INCLUDED
#define STACKAOCHECKER_INCLUDED

#include <stddef.h>

/* validate the Stackao object, based on internal state values
   pdArray (the storage array), uTop (the location of the next push),
   uPhysLength (the allocated length of pdArray), and iInitialized
   (a flag indicating the Stack is in the initialized state).
   Returns 1 if valid, 0 if invalid.
   Prints error description to stderr if invalid.
*/

int isValid(double *pdArray, size_t uTop, size_t uPhysLength,
            int iInitialized);

#endif