class EL_SYSTEM_TIMER
Client examples: BASE_AUTOTEST_APP
EL_SYSTEM_TIME with elapsed time function elapsed_millisecs
note
description: "${EL_SYSTEM_TIME} with elapsed time function `elapsed_millisecs'"
author: "Finnian Reilly"
copyright: "Copyright (c) 2001-2022 Finnian Reilly"
contact: "finnian at eiffel hyphen loop dot com"
license: "MIT license (See: en.wikipedia.org/wiki/MIT_License)"
date: "2024-01-20 19:18:24 GMT (Saturday 20th January 2024)"
revision: "6"
class
EL_SYSTEM_TIMER
inherit
EL_SYSTEM_TIME
rename
make_utc as make,
internal_millisecond_now as last_milliseconds
redefine
update
end
create
make
feature -- Update
update
do
Precursor
last_milliseconds := day_milliseconds
end
feature -- Measurement
elapsed_millisecs: INTEGER
-- milliseconds since object creation or previous call to `elapsed_millisecs'
local
last, now: INTEGER
do
last := last_milliseconds
update
now := last_milliseconds
if now < last then
now := now + Milliseconds_in_day
end
Result := now - last
end
end