Time: Add serialization functions to the Time class.

1 files changed, 7 insertions, 0 deletions

diff --git a/src/base/time.hh b/src/base/time.hh
index 4fc3dd3ef..20b1c6d35 100644
--- a/src/base/time.hh
+++ b/src/base/time.hh
@@ -40,10 +40,13 @@
 #include <cstring>
 #include <ctime>
 #include <iosfwd>
+#include <iostream>
 #include <string>
 
 #include "base/types.hh"
 
+class Checkpoint;
+
 class Time
 {
   protected:
@@ -195,6 +198,10 @@ class Time
 
     std::string date(const std::string &format = "") const;
     std::string time() const;
+
+    void serialize(const std::string &base, std::ostream &os);
+    void unserialize(const std::string &base, Checkpoint *cp,
+                     const std::string &section);
 };
 
 void sleep(const Time &time);