home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
INTERNALS_HANDLER
All features
class TIME_IN_GERMAN
Summary
top
The German format class for class
TIME
.
Direct parents
inherit list:
TIME_FORMATTER
Overview
top
creation features
exported features
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
)
short_mode
:
BOOLEAN
Is the formatting mode set to the short (abbreviated) mode ?
set_short_mode
(value:
BOOLEAN
)
to_string
:
STRING
out_in_tagged_out_memory
Append terse printable represention of current object in
tagged_out_memory
.
day_in
(buffer:
STRING
)
effective procedure
top
According to the current
short_mode
, append in the
buffer
the name of the day.
month_in
(buffer:
STRING
)
effective procedure
top
According to the current
short_mode
, append in the
buffer
the name of the month.
append_in
(buffer:
STRING
)
effective procedure
top
time
:
TIME
writable attribute
top
The corresponding information to display.
set_time
(t:
TIME
)
effective procedure
top
ensure
time
= t
short_mode
:
BOOLEAN
writable attribute
top
Is the formatting mode set to the short (abbreviated) mode ?
set_short_mode
(value:
BOOLEAN
)
effective procedure
top
ensure
short_mode
= value
to_string
:
STRING
frozen
effective function
top
out_in_tagged_out_memory
frozen
effective procedure
top
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))