class interface F_CLOCK

feature(s) from F_CLOCK
   --  Clock

   get_local_time
      --  Get time in the local time zone.

      ensure
         done: last_time /= Void and then last_time.is_valid;
         zoned: not last_time.is_local --  has time zone information

   get_utc_time
      --  Get Universal Time (GMT).

      ensure
         done: last_time /= Void and then last_time.is_valid;
         utc: last_time.is_utc

   last_time: P_DATE_TIME
      --  Last result.


feature(s) from F_CLOCK
   --  System timer

   get_tick
      --  Number of milliseconds since system started, wraps 
      --  around zero every so often.

      ensure
         positive: last_tick >= 0; --  last_tick > old last_tick or last_tick < old last_tick
         wraps: 

   last_tick: INTEGER
      --  Result from previous get_tick call.



end of F_CLOCK