00001 00007 #ifndef __Timer_H__ 00008 #define __Timer_H__ 00009 00010 00020 class Timer { 00021 00022 public: 00023 00025 00029 void update_timestamp(const char *name); 00030 00035 void check_timestamps(); 00036 00037 void check_timestamp(const char *name, int ttl); 00038 00039 private: 00040 00041 void fail(const char *message); 00042 00043 00044 }; 00045 00046 00047 #endif // __Timer_H__