00001 #ifndef __WALLCLOCKINT_H__ 00002 #define __WALLCLOCKINT_H__ 00003 00004 #define OUTSIDE_GLUE_CORE 00005 00006 #include <fsa/fsa.H> 00007 #include <dev/wall_clock.H> 00008 00009 class WallClockInt : public Interactor<WallClockInt> 00010 { 00011 protected: 00012 static double _wall_clock_time; 00013 static double _wall_clock_time_delta; 00014 static double _local_time_of_last_update; 00015 00016 public: 00017 WallClockInt(); 00018 virtual ~WallClockInt(); 00019 void clock_update( cEVENTWallClockmsgptr &e, STATE *& ); 00020 00021 static double time() { return _wall_clock_time; } 00022 static double time_delta() { return _wall_clock_time_delta; } 00023 00024 static double approx_time(); 00025 }; 00026 00027 00028 #endif