/usr/include/dolfin/common/Timer.h is in libdolfin1.0-dev 1.0.0-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 | // Copyright (C) 2008 Anders Logg
//
// This file is part of DOLFIN.
//
// DOLFIN is free software: you can redistribute it and/or modify
// it under the terms of the GNU Lesser General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// DOLFIN is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU Lesser General Public License for more details.
//
// You should have received a copy of the GNU Lesser General Public License
// along with DOLFIN. If not, see <http://www.gnu.org/licenses/>.
//
// First added: 2008-06-13
// Last changed: 2010-11-16
#ifndef __TIMER_H
#define __TIMER_H
#include <iostream>
#include <dolfin/parameter/GlobalParameters.h>
#include <dolfin/log/LogManager.h>
#include "timing.h"
namespace dolfin
{
/// A timer can be used for timing tasks. The basic usage is
///
/// Timer timer("Assembling over cells");
///
/// The timer is started at construction and timing ends
/// when the timer is destroyed (goes out of scope). It is
/// also possible to start and stop a timer explicitly by
///
/// timer.start();
/// timer.stop();
///
/// Timings are stored globally and a summary may be printed
/// by calling
///
/// summary();
class Timer
{
public:
/// Create timer
Timer(std::string task) : task(""), t(time()), stopped(false)
{
const std::string prefix = parameters["timer_prefix"];
this->task = prefix + task;
}
/// Destructor
~Timer()
{ if (!stopped) stop(); }
/// Start timer
void start()
{ t = time(); stopped = false; }
/// Stop timer
double stop()
{
t = time() - t;
LogManager::logger.register_timing(task, t);
stopped = true;
return t;
}
/// Return value of timer (or time at start if not stopped)
double value() const
{ return t; }
private:
// Name of task
std::string task;
// Start time
double t;
// True if timer has been stopped
bool stopped;
};
}
#endif
|