<![CDATA[//******************************************************************
// IMPLEMENTATION FILE (timecard.cpp)
// This file implements the TimeCard class member functions
//******************************************************************
#include "timecard.h"
#include <iostream>
using namespace std;
// 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;
}
//******************************************************************
long TimeCard::IDPart() const
// Postcondition:
// Function value == id
{
return id;
}
//******************************************************************
Time TimeCard::TimePart() const
// Postcondition:
// Function value == timeStamp
{
return timeStamp;
}
//******************************************************************
void TimeCard::Print() const
// Postcondition:
// Time card has been output in the form
// ID: 235658 Time: 08:14:25
{
cout << "ID: " << id << " Time: ";
timeStamp.Write();
}
]]>