time.cpp

This file implements the ExtTime member functions and the Time class member functions

//******************************************************************
// IMPLEMENTATION FILE (time.cpp)
// This file implements the Time class member functions
//******************************************************************
#include "time.h"
#include <iostream>

using namespace std;

// Private members of class:
//     int hrs;
//     int mins;
//     int secs;

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

Time::Time( /* in */ int initHrs,
            /* in */ int initMins,
            /* in */ int initSecs )

// Constructor

// Precondition:
//     0 <= initHrs <= 23  &&  0 <= initMins <= 59
//  && 0 <= initSecs <= 59
// Postcondition:
//     hrs == initHrs  &&  mins == initMins  &&  secs == initSecs

{
    hrs = initHrs;
    mins = initMins;
    secs = initSecs;
}

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

Time::Time()

// Default constructor

// Postcondition:
//     hrs == 0  &&  mins == 0  &&  secs == 0

{
    hrs = 0;
    mins = 0;
    secs = 0;
}

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

void Time::Set( /* in */ int hours,
                /* in */ int minutes,
                /* in */ int seconds )

// Precondition:
//     0 <= hours <= 23  &&  0 <= minutes <= 59
//  && 0 <= seconds <= 59
// Postcondition:
//     hrs == hours  &&  mins == minutes  &&  secs == seconds

{
    hrs = hours;
    mins = minutes;
    secs = seconds;
}

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

void Time::Increment()

// Postcondition:
//     Time has been advanced by one second, with
//     23:59:59 wrapping around to 0:0:0

{
    secs++;
    if (secs > 59)
    {
        secs = 0;
        mins++;
        if (mins > 59)
        {
            mins = 0;
            hrs++;
            if (hrs > 23)
                hrs = 0;
        }
    }
}

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

void Time::Write() const

// Postcondition:
//     Time has been output in the form HH:MM:SS

{
    if (hrs < 10)
        cout << '0';
    cout << hrs << ':';
    if (mins < 10)
        cout << '0';
    cout << mins << ':';
    if (secs < 10)
        cout << '0';
    cout << secs;
}