/usr/include/dolfin/log/Event.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 | // Copyright (C) 2004-2007 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: 2004-01-03
// Last changed: 2007-05-14
#ifndef __EVENT_H
#define __EVENT_H
#include <string>
namespace dolfin
{
/// A event is a string message which is displayed
/// only a limited number of times.
///
/// *Example*
/// .. code-block:: c++
///
/// Event event("System is stiff, damping is needed.");
/// while ()
/// {
/// ...
/// if ( ... )
/// {
/// event();
/// ...
/// }
/// }
class Event
{
public:
/// Constructor
Event(const std::string msg, unsigned int maxcount = 1);
/// Destructor
~Event();
/// Display message
void operator() ();
/// Display count
unsigned int count() const;
/// Maximum display count
unsigned int maxcount() const;
private:
std::string msg;
unsigned int _maxcount;
unsigned int _count;
};
}
#endif
|