cprover
timert Class Reference

#include <timer.h>

Collaboration diagram for timert:
[legend]

Public Member Functions

 timert ()
 
virtual ~timert ()
 
virtual void start ()
 
virtual void stop ()
 
virtual void clear ()
 
virtual time_periodt total_time () const
 
virtual fine_timet latest_time () const
 
virtual long number_starts () const
 
std::string output_total_time () const
 
std::string output_latest_time () const
 

Private Attributes

time_periodt _total_time
 
absolute_timet _start_time
 
time_periodt _latest_time
 
long nr_starts
 
bool started
 

Detailed Description

Definition at line 20 of file timer.h.

Constructor & Destructor Documentation

§ timert()

timert::timert ( )
inline

Definition at line 30 of file timer.h.

References clear(), start(), stop(), and ~timert().

§ ~timert()

timert::~timert ( )
virtual

Definition at line 19 of file timer.cpp.

Referenced by timert().

Member Function Documentation

§ clear()

void timert::clear ( void  )
virtual

Definition at line 41 of file timer.cpp.

References _start_time, _total_time, and fine_timet::clear().

Referenced by timert().

§ latest_time()

virtual fine_timet timert::latest_time ( ) const
inlinevirtual

Definition at line 50 of file timer.h.

References _latest_time.

§ number_starts()

virtual long timert::number_starts ( ) const
inlinevirtual

Definition at line 55 of file timer.h.

References nr_starts.

§ output_latest_time()

std::string timert::output_latest_time ( ) const
inline

Definition at line 65 of file timer.h.

References time_periodt::as_string().

§ output_total_time()

std::string timert::output_total_time ( ) const
inline

Definition at line 60 of file timer.h.

References time_periodt::as_string().

§ start()

void timert::start ( )
virtual

Definition at line 23 of file timer.cpp.

References _start_time, current_time(), nr_starts, and started.

Referenced by timert().

§ stop()

void timert::stop ( )
virtual

Definition at line 32 of file timer.cpp.

References _latest_time, _start_time, _total_time, current_time(), and started.

Referenced by timert().

§ total_time()

virtual time_periodt timert::total_time ( ) const
inlinevirtual

Definition at line 45 of file timer.h.

References _total_time.

Referenced by operator<<().

Member Data Documentation

§ _latest_time

time_periodt timert::_latest_time
private

Definition at line 25 of file timer.h.

Referenced by latest_time(), and stop().

§ _start_time

absolute_timet timert::_start_time
private

Definition at line 24 of file timer.h.

Referenced by clear(), start(), and stop().

§ _total_time

time_periodt timert::_total_time
private

Definition at line 23 of file timer.h.

Referenced by clear(), stop(), and total_time().

§ nr_starts

long timert::nr_starts
private

Definition at line 26 of file timer.h.

Referenced by number_starts(), and start().

§ started

bool timert::started
private

Definition at line 27 of file timer.h.

Referenced by start(), and stop().


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