+void Clock::save(list<DataFile::Statement> &st) const
+{
+ st.push_back((DataFile::Statement("rate"), rate));
+ st.push_back((DataFile::Statement("time"), current_time.raw()));
+}
+
+
+Clock::Loader::Loader(Clock &c):
+ DataFile::ObjectLoader<Clock>(c)
+{
+ add("rate", &Clock::rate);
+ add("time", &Loader::time);
+}
+
+void Clock::Loader::time(Time::RawTime t)
+{
+ obj.set_current_time(Time::TimeDelta(t));
+}
+