< previous page page_580 next page >

Page 580
// Determines month beginning with J

// Precondition:
//     secondChar and thirdChar are assigned
// Postcondition:
//     IF secondChar == 'a' or 'u' && thirdChar == '1' or 'n'
//           badData == FALSE
//        && month == JANUARY, if secondChar == 'a'
//                 == JULY, if thirdChar == '1'
//                 == JUNE, otherwise
//     ELSE
//           badData == TRUE  && month is undefined

{
    badData = (secondChar != 'a' && secondChar != 'u' ||
               thirdChar != '1' && thirdChar != 'n');
    if ( !badData )
        if (secondChar == 'a')
            month = JANUARY;
        else if (thirdChar == '1')
           month = JULY;
        else
            month = JUNE;
}

//******************************************************************

void CheckA( /* in */  char    secondChar,     // 2nd input char
             /* out */ Months& month,          // Resulting month
             /* out */ Boolean& badData    )   // True if 2nd char
                                               //   bad

// Determines month beginning with A

// Precondition:
//     secondChar is assigned
// Postcondition:
//     IF secondChar == 'p' or 'u'
//           badData == FALSE
//        && month == APRIL, if secondChar == 'p'
//                 == AUGUST, otherwise
//     ELSE
//           badData == TRUE && month is undefined
{
    badData = (secondChar != 'p' && secondChar != 'u');
    if ( !badData )
        if (secondChar == 'p')
            month = APRIL;
        else
            month = AUGUST;
}

 
< previous page page_580 next page >