9 #ifndef IMPBASE_STATISTICS_H
10 #define IMPBASE_STATISTICS_H
12 #include <IMP/base/base_config.h>
15 #include "internal/static.h"
19 IMPBASE_BEGIN_NAMESPACE
32 void initialize(std::string key);
36 Timer(
const Object *
object, std::string operation) {
37 if (internal::stats_level > NO_STATISTICS) {
38 initialize(object->get_name() +
"::" + operation);
41 Timer(std::string operation) {
42 if (internal::stats_level > NO_STATISTICS) {
43 initialize(operation);
47 if (!key_.empty()) save();
void show_timings(TextOutput out)
StatisticsLevel
Specify the level of statistics to record.
void set_statistics_level(StatisticsLevel l)
Common base class for heavy weight IMP objects.
Handling of file input/output.