deferred class TIME_FORMATTER

All features

The polymophic format class for TIME.

Direct parents

non-conformant parents

ANY

Known children

conformant children

TIME_IN_ENGLISH, TIME_IN_FRENCH, TIME_IN_GERMAN, TIME_IN_ITALIAN, TIME_IN_SOME_LANGUAGE, TIME_IN_SPANISH

Summary

exported features

Details

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

deferred day_in (buffer: STRING)

According to the current short_mode, append in the buffer the name of the day.

deferred month_in (buffer: STRING)

According to the current short_mode, append in the buffer the name of the month.

frozen to_string: STRING
deferred append_in (buffer: STRING)
frozen 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))

to_string_buffer: STRING