class TIME_IN_GERMAN

Features exported to INTERNALS_HANDLER

The German format class for class TIME.

Direct parents

conformant parents

TIME_FORMATTER

Summary

creation features

exported features

Details

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.

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

frozen to_string: 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))