75 lines
1.3 KiB
Plaintext
75 lines
1.3 KiB
Plaintext
|
note
|
||
|
|
description: "[
|
||
|
|
Timer for hours, minutes, seconds, and miliseconds.
|
||
|
|
]"
|
||
|
|
author: "Jimmy J. Johnson"
|
||
|
|
copyright: "Copyright 2009, Jimmy J. Johnson"
|
||
|
|
license: "Eiffel Forum License v2 (see forum.txt)"
|
||
|
|
URL: "$URL:$"
|
||
|
|
date: "$Date: 2009-06-25 21:37:23 -0400 (Thu, 25 Jun 2009) $"
|
||
|
|
revision: "$Revision: 7 $"
|
||
|
|
|
||
|
|
class
|
||
|
|
HMS_TIMER
|
||
|
|
|
||
|
|
inherit
|
||
|
|
|
||
|
|
HMS_INTERVAL
|
||
|
|
undefine
|
||
|
|
duration,
|
||
|
|
out
|
||
|
|
redefine
|
||
|
|
default_create,
|
||
|
|
time_anchor,
|
||
|
|
duration_anchor
|
||
|
|
end
|
||
|
|
|
||
|
|
TIMER
|
||
|
|
undefine
|
||
|
|
time_anchor,
|
||
|
|
duration_anchor
|
||
|
|
redefine
|
||
|
|
default_create
|
||
|
|
end
|
||
|
|
|
||
|
|
create
|
||
|
|
default_create
|
||
|
|
|
||
|
|
feature {NONE} -- Initialization
|
||
|
|
|
||
|
|
default_create
|
||
|
|
-- Set up the timer
|
||
|
|
do
|
||
|
|
Precursor {HMS_INTERVAL}
|
||
|
|
Precursor {TIMER}
|
||
|
|
create cumulative
|
||
|
|
end
|
||
|
|
|
||
|
|
|
||
|
|
feature {NONE} -- Anchors (for covariant redefinitions)
|
||
|
|
|
||
|
|
time_anchor: HMS_TIME
|
||
|
|
-- Anchor for features using times.
|
||
|
|
-- Not to be called; just used to anchor types.
|
||
|
|
-- Declared as a feature to avoid adding an attribute.
|
||
|
|
once
|
||
|
|
check
|
||
|
|
do_not_call: False then
|
||
|
|
-- Because give no info; simply used as anchor.
|
||
|
|
end
|
||
|
|
end
|
||
|
|
|
||
|
|
duration_anchor: HMS_DURATION
|
||
|
|
-- Anchor for features using durations.
|
||
|
|
-- Not to be called; just used to anchor types.
|
||
|
|
-- Declared as a feature to avoid adding an attribute.
|
||
|
|
once
|
||
|
|
check
|
||
|
|
do_not_call: False then
|
||
|
|
-- Because give no info; simply used as anchor.
|
||
|
|
end
|
||
|
|
end
|
||
|
|
|
||
|
|
|
||
|
|
end
|