timer.hxx

Go to the documentation of this file.

#ifndef MISC_TIMER_HXX
# define MISC_TIMER_HXX

# include <misc/timer.hh>
# include <misc/contract.hh>

namespace misc
{

  inline
  void
  timer::push(int i)
  {
    precondition(this->intmap.find(i) != this->intmap.end());
    this->push(this->intmap[i]);
  }

  inline
  void
  timer::pop(const std::string& task_name)
  {
    (void) task_name;
    precondition(this->tasksmap[task_name] == this->tasks.top());
    this->pop();
  }

  inline
  void
  timer::pop(int i)
  {
    this->pop(this->intmap[i]);
  }


  inline
  void
  timer::dump_on_destruction(std::ostream& out)
  {
    this->dump_stream = &out;
  }

  inline
  void
  timer::start()
  {
    this->total.start();
  }

  inline
  void
  timer::stop()
  {
    this->total.stop();
  }

  inline
  timer::time::time()
    : user(0), sys(0), wall(0)
  {}

  inline
  timer::time&
  timer::time::operator+=(const time& rhs)
  {
    this->wall += rhs.wall;
    this->user += rhs.user;
    this->sys  += rhs.sys;
    return *this;
  }

} // namespace misc

#endif // !MISC_TIMER_HXX