+
Point of view
All features
class TIME_IN_FRENCH
Summary
The French format class for class TIME.
Direct parents
Inherit list: TIME_FORMATTER
Overview
Creation features
Features
{ANY}
{ANY}
{}
day_in (buffer: STRING)
effective procedure
{ANY}
According to the current short_mode, append in the buffer the name of the day.
month_in (buffer: STRING)
effective procedure
{ANY}
According to the current short_mode, append in the buffer the name of the month.
append_in (buffer: STRING)
effective procedure
{ANY}
time: TIME
writable attribute
{ANY}
The corresponding information to display.
set_time (t: TIME)
effective procedure
{ANY}
ensure
short_mode: BOOLEAN
writable attribute
{ANY}
Is the formatting mode set to the short (abbreviated) mode ?
set_short_mode (value: BOOLEAN)
effective procedure
{ANY}
ensure
to_string: STRING
frozen
effective function
{ANY}
out_in_tagged_out_memory
frozen
effective procedure
{ANY}
Append terse printable representation of current object in tagged_out_memory.
require
  • locked: tagged_out_locked
ensure
  • still_locked: tagged_out_locked
  • 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
once function
{}