< previous page page_943 next page >

Page 943
// Private members of class:
//    long id;
//    Time timeStamp;

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

TimeCard: :TimeCard()

// Default constructor

// Postcondition:
//     Time is 0:0:0 (via implicit call to timeStamp object's
//     default constructor)
//  && id == 0

{
   id = 0;
}

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

void TimeCard: :Punch( /* in */ int hours,
                       /* in */ int minutes,
                       /* in */ int seconds )
// Precondition:
//     0 <= hours <= 23 &&  0 <= minutes <= 59
//  && 0 <= seconds <= 59
// Postcondition:
//     Time is punched according to hours, minutes, and seconds

{
    timeStamp.Set(hours, minutes, seconds);
}

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

void TimeCard::SetID( /* in */ long idNum )

// Precondition:
//     idNum is assigned
// Postcondition:
//     id == idNum

{
    id = idNum;
}

 
< previous page page_943 next page >