|
|
|
|
|
|
|
// Precondition:
// 0 <= initHrs <= 23 && 0 <= initMins <= 59
// && 0 <= initSecs <= 59 && initZone is assigned
// Postcondition:
// Time is set according to initHrs, initMins, and initSecs
// (via call to base class constructor)
// && zone == initZone
{
zone = initZone;
}
//******************************************************************
ExtTime::ExtTime()
// Default constructor
// Postcondition:
// Time is 0:0:0 (via implicit call to base class's
// default constructor)
// && zone == EST
{
zone = EST;
}
//******************************************************************
void ExtTime::Set( /* in */ int hours,
/* in */ int minutes,
/* in */ int seconds,
/* in */ ZoneType timeZone )
// Precondition:
// 0 <= hours <= 23 && 0 <= minutes <= 59
// && 0 <= seconds <= 59 && timeZone is assigned
// Postcondition:
// Time is set according to hours, minutes, and seconds
// && zone == timeZone
{
Time::Set(hours, minutes, seconds);
zone = timeZone;
}
//****************************************************************** |
|
|
|
|
|