Parma_Polyhedra_Library::Implementation::Watchdog::Time Class Reference

A class for representing and manipulating positive time intervals. More...

#include <Time_defs.hh>

Public Member Functions
	Time ()
	Zero seconds. More...
	Time (long centisecs)
	Constructor taking a number of centiseconds. More...
	Time (long s, long m)
	Constructor with seconds and microseconds. More...
long	seconds () const
	Returns the number of whole seconds contained in the represented time interval. More...
long	microseconds () const
	Returns the number of microseconds that, when added to the number of seconds returned by seconds(), give the represent time interval. More...
Time &	operator+= (const Time &y)
	Adds y to *this. More...
Time &	operator-= (const Time &y)
	Subtracts y from *this; if *this is shorter than y, *this is set to the null interval. More...
bool	OK () const
	Checks if all the invariants are satisfied. More...

Private Attributes
long	secs
	Number of seconds. More...
long	microsecs
	Number of microseconds. More...

Static Private Attributes
static const long	USECS_PER_SEC = 1000000L
	Number of microseconds in a second. More...
static const long	CSECS_PER_SEC = 100L
	Number of centiseconds in a second. More...

Detailed Description

A class for representing and manipulating positive time intervals.

Definition at line 75 of file Time_defs.hh.

Constructor & Destructor Documentation

Parma_Polyhedra_Library::Implementation::Watchdog::Time::Time ( )

inline

Zero seconds.

Definition at line 36 of file Time_inlines.hh.

References OK().

  : secs(0), microsecs(0) {
  assert(OK());
}

Parma_Polyhedra_Library::Implementation::Watchdog::Time::Time ( long  centisecs )

inlineexplicit

Constructor taking a number of centiseconds.

Definition at line 42 of file Time_inlines.hh.

References OK().

  : secs(centisecs / CSECS_PER_SEC),
    microsecs((centisecs % CSECS_PER_SEC) * (USECS_PER_SEC/CSECS_PER_SEC)) {
  assert(OK());
}

Parma_Polyhedra_Library::Implementation::Watchdog::Time::Time ( long  s, long  m  )

inline

Constructor with seconds and microseconds.

Definition at line 49 of file Time_inlines.hh.

References microsecs, OK(), secs, and USECS_PER_SEC.

  : secs(s),
    microsecs(m) {
  if (microsecs >= USECS_PER_SEC) {
    secs += microsecs / USECS_PER_SEC;
    microsecs %= USECS_PER_SEC;
  }
  assert(OK());
}

Member Function Documentation

long Parma_Polyhedra_Library::Implementation::Watchdog::Time::microseconds ( ) const

inline

Returns the number of microseconds that, when added to the number of seconds returned by seconds(), give the represent time interval.

Definition at line 65 of file Time_inlines.hh.

References microsecs.

Referenced by Parma_Polyhedra_Library::Implementation::Watchdog::operator<(), and Parma_Polyhedra_Library::Implementation::Watchdog::operator==().

                         {
  return microsecs;
}

bool Parma_Polyhedra_Library::Implementation::Watchdog::Time::OK

(

)

const

Checks if all the invariants are satisfied.

Definition at line 30 of file Time.cc.

Referenced by Parma_Polyhedra_Library::Implementation::Watchdog::operator!=(), operator+=(), operator-=(), Parma_Polyhedra_Library::Implementation::Watchdog::operator<(), Parma_Polyhedra_Library::Implementation::Watchdog::operator==(), and Time().

                                        {
  return microsecs < USECS_PER_SEC;
}

Time & Parma_Polyhedra_Library::Implementation::Watchdog::Time::operator+= ( const Time &  y )

inline

Adds y to *this.

Definition at line 70 of file Time_inlines.hh.

References microsecs, OK(), secs, and USECS_PER_SEC.

                              {
  long r_secs = secs + y.secs;
  long r_microsecs = microsecs + y.microsecs;
  if (r_microsecs >= USECS_PER_SEC) {
    ++r_secs;
    r_microsecs %= USECS_PER_SEC;
  }
  secs = r_secs;
  microsecs = r_microsecs;
  assert(OK());
  return *this;
}

Time & Parma_Polyhedra_Library::Implementation::Watchdog::Time::operator-= ( const Time &  y )

inline

Subtracts y from *this; if *this is shorter than y, *this is set to the null interval.

Definition at line 84 of file Time_inlines.hh.

References microsecs, OK(), secs, and USECS_PER_SEC.

                              {
  long r_secs = secs - y.secs;
  long r_microsecs = microsecs - y.microsecs;
  if (r_microsecs < 0) {
    --r_secs;
    r_microsecs += USECS_PER_SEC;
  }
  if (r_secs < 0) {
    r_secs = 0;
    r_microsecs = 0;
  }
  secs = r_secs;
  microsecs = r_microsecs;
  assert(OK());
  return *this;
}

long Parma_Polyhedra_Library::Implementation::Watchdog::Time::seconds ( ) const

inline

Returns the number of whole seconds contained in the represented time interval.

Definition at line 60 of file Time_inlines.hh.

References secs.

Referenced by Parma_Polyhedra_Library::Implementation::Watchdog::operator<(), and Parma_Polyhedra_Library::Implementation::Watchdog::operator==().

                    {
  return secs;
}

Member Data Documentation

const long Parma_Polyhedra_Library::Implementation::Watchdog::Time::CSECS_PER_SEC = 100L

staticprivate

Number of centiseconds in a second.

Definition at line 115 of file Time_defs.hh.

long Parma_Polyhedra_Library::Implementation::Watchdog::Time::microsecs

private

Number of microseconds.

Definition at line 121 of file Time_defs.hh.

Referenced by microseconds(), operator+=(), operator-=(), and Time().

long Parma_Polyhedra_Library::Implementation::Watchdog::Time::secs

private

Number of seconds.

Definition at line 118 of file Time_defs.hh.

Referenced by operator+=(), operator-=(), seconds(), and Time().

const long Parma_Polyhedra_Library::Implementation::Watchdog::Time::USECS_PER_SEC = 1000000L

staticprivate

Number of microseconds in a second.

Definition at line 112 of file Time_defs.hh.

Referenced by operator+=(), operator-=(), and Time().

---

The documentation for this class was generated from the following files:

• Time_defs.hh
• Time.cc
• Time_inlines.hh