class interface TIME_IN_ENGLISH
--
-- The English format class for class TIME.
--
feature(s) from TIME_FORMATTER
time: TIME
-- The corresponding information to display.
set_time (t: TIME)
ensure
time = t
short_mode: BOOLEAN
-- Is the formatting mode set to the short (abbreviated)
-- mode ?
set_short_mode (value: BOOLEAN)
ensure
short_mode = value
day_in (buffer: STRING)
-- According to the current short_mode, append in the buffer
-- the name of the day.
month_in (buffer: STRING)
-- According to the current short_mode, append in the buffer
-- the name of the month.
to_string: STRING
append_in (buffer: STRING)
out_in_tagged_out_memory
-- Append terse printable represention of current object
-- in tagged_out_memory.
ensure
not_cleared: tagged_out_memory.count >= old tagged_out_memory.count;
append_only: (old tagged_out_memory.twin).is_equal(tagged_out_memory.substring(1,old tagged_out_memory.count))
feature(s) from TIME_FORMATTER
to_string_buffer: STRING
end of TIME_IN_ENGLISH