/usr/include/CGAL/Real_timer.h is in libcgal-dev 4.11-2build1.
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 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 | // Copyright (c) 1997
// Utrecht University (The Netherlands),
// ETH Zurich (Switzerland),
// INRIA Sophia-Antipolis (France),
// Max-Planck-Institute Saarbruecken (Germany),
// and Tel-Aviv University (Israel). All rights reserved.
//
// This file is part of CGAL (www.cgal.org); 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.
//
// Licensees holding a valid commercial license may use this file in
// accordance with the commercial license agreement provided with the software.
//
// This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
// WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
//
// $URL$
// $Id$
//
//
// Author(s) : Lutz Kettner <kettner@inf.ethz.ch>
// Matthias Baesken <baesken@informatik.uni-halle.de>
#ifndef CGAL_REAL_TIMER_H
#define CGAL_REAL_TIMER_H 1
#include <CGAL/config.h>
#include <CGAL/assertions.h>
// For the numerical limits
#include <cfloat>
namespace CGAL {
// SECTION: A Timer Measuring Real-Time
// ========================================================================
//
// DEFINITION
//
// A timer `t' of type Real_timer is an object with a state. It is either
// running or it is stopped. The state is controlled with `t.start()'
// and `t.stop()'. The timer counts the time elapsed since its creation
// or last reset. It counts only the time where it is in the running
// state. The time information is given in seconds.
class CGAL_EXPORT Real_timer {
private:
double elapsed;
double started;
int interv;
bool running;
#ifdef CGAL_HEADER_ONLY
static bool& get_static_realtimer_m_failed()
{
static bool m_failed = false;
return m_failed;
}
#else // CGAL_HEADER_ONLY
static bool m_failed;
static bool& get_static_realtimer_m_failed()
{ return Real_timer::m_failed; }
#endif // CGAL_HEADER_ONLY
double get_real_time() const; // in seconds
double compute_precision() const; // in seconds
public:
Real_timer() : elapsed(0.0), started(0.0), interv(0), running(false) {}
void start();
void stop ();
void reset();
bool is_running() const { return running; }
double time() const;
int intervals() const { return interv; }
double precision() const;
// Returns timer precison. Computes it dynamically at first call.
// Returns -1.0 if timer system call fails, which, for a proper coded
// test towards precision leads to an immediate stop of an otherwise
// infinite loop (fixed tolerance * total time >= precision).
double max BOOST_PREVENT_MACRO_SUBSTITUTION () const { return DBL_MAX; }
};
// -----------------------------------------------------------------------
// Member functions for Real_timer
// ===========================
inline void Real_timer::start() {
CGAL_precondition( ! running);
started = get_real_time();
running = true;
++ interv;
}
inline void Real_timer::stop() {
CGAL_precondition( running);
double t = get_real_time();
elapsed += (t - started);
started = 0.0;
running = false;
}
inline void Real_timer::reset() {
interv = 0;
elapsed = 0.0;
if (running) {
started = get_real_time();
++ interv;
} else {
started = 0.0;
}
}
inline double Real_timer::time() const {
if (running) {
double t = get_real_time();
return elapsed + (t - started);
}
return elapsed;
}
} //namespace CGAL
#ifdef CGAL_HEADER_ONLY
#include <CGAL/Real_timer_impl.h>
#endif // CGAL_HEADER_ONLY
#endif // CGAL_REAL_TIMER_H //
// EOF //
|