A map of timer, where each timer has a name.
More...
#include <spot/misc/timer.hh>
|
typedef std::pair< spot::timer,
int > | item_type |
|
typedef std::map< std::string,
item_type > | tm_type |
|
A map of timer, where each timer has a name.
Timer_map also keeps track of the number of measures each timer has performed.
void spot::timer_map::cancel |
( |
const std::string & |
name | ) |
|
|
inline |
Cancel timer name.
The timer must have been previously started with start().
This cancel only the current measure. (Previous measures recorded by the timer are preserved.) When a timer that has not done any measure is canceled, it is removed from the map.
bool spot::timer_map::empty |
( |
| ) |
const |
|
inline |
Whether there is no timer in the map.
If empty() return true, then either no timer where ever started, or all started timers were canceled without completing any measure.
std::ostream& spot::timer_map::print |
( |
std::ostream & |
os | ) |
const |
Format information about all timers in a table.
void spot::timer_map::reset_all |
( |
| ) |
|
|
inline |
Remove information about all timers.
void spot::timer_map::start |
( |
const std::string & |
name | ) |
|
|
inline |
Start a timer with name name.
The timer is created if it did not exist already. Once started, a timer should be either stop()ed or cancel()ed.
void spot::timer_map::stop |
( |
const std::string & |
name | ) |
|
|
inline |
Stop timer name.
The timer must have been previously started with start().
const spot::timer& spot::timer_map::timer |
( |
const std::string & |
name | ) |
const |
|
inline |
spot::timer& spot::timer_map::timer |
( |
const std::string & |
name | ) |
|
|
inline |
The documentation for this class was generated from the following file: