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