1 files changed, 62 insertions, 0 deletions
diff --git a/Carpet/Timers/src/CactusTimerSet.hh b/Carpet/Timers/src/CactusTimerSet.hh
new file mode 100644
index 000000000..c53fa5bc3
--- /dev/null
+++ b/Carpet/Timers/src/CactusTimerSet.hh
@@ -0,0 +1,62 @@
+#ifndef CACTUSTIMERSET_HH
+#define CACTUSTIMERSET_HH
+
+#include <iostream>
+#include <set>
+
+#include <cctk.h>
+#include "CactusTimer.hh"
+
+
+
+namespace Timers {
+  
+  class CactusTimerSet;
+  extern CactusTimerSet timerSet;
+  
+  using namespace std;
+  
+  // A set of timers
+  class CactusTimerSet {
+    
+    typedef set<CactusTimer*> timers_t;
+    timers_t timers;
+    
+  public:
+    
+    // Add a timer
+    void add(CactusTimer* timer);
+    
+    // Remove a timer
+    void remove(CactusTimer* timer);
+
+    // Print all timer names
+    void printNames() const;
+    
+    // Print all timer data
+    void printData();
+    
+    // Write all timer data of the global timer set to a file
+    static void writeData(cGH const* cctkGH, char const* filename);
+    
+#if 0
+    // Reduce each timer in the set across all processes and update
+    // each timer with the reduction information.
+    void reduce();
+    
+    ostream& serialise(ostream &os);
+#endif
+    
+  private:
+    
+    // If filename is not empty, then redirect stdout to a file,
+    // returning the old stdout file descriptor
+    static int redirect(cGH const* cctkGH, char const* filename);
+    
+    // Redirect stdout back
+    static void unredirect(int oldfd);
+  }; // class CactusTimerSet
+  
+} // namespace Timers
+
+#endif // CACTUSTIMERSET_HH