home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
INTERNALS_HANDLER
All features
deferred class MESSAGE_FORMATTER [E_]
Summary
top
Direct parents
insert list:
ANY
Known children
inherit list:
STRING_FORMATTER
Overview
top
features
put_message
(message:
TRAVERSABLE
[E_], arguments:
TRAVERSABLE
[
ANY
])
put
(e: E_)
put_item
(item:
ANY
)
delimiter
: E_
opening_brace
: E_
closing_brace
: E_
is_digit
(e: E_):
BOOLEAN
value
(e: E_):
INTEGER_32
put_message
(message:
TRAVERSABLE
[E_], arguments:
TRAVERSABLE
[
ANY
])
effective procedure
top
put
(e: E_)
deferred procedure
top
put_item
(item:
ANY
)
deferred procedure
top
delimiter
: E_
deferred function
top
opening_brace
: E_
deferred function
top
closing_brace
: E_
deferred function
top
is_digit
(e: E_):
BOOLEAN
deferred function
top
value
(e: E_):
INTEGER_32
deferred function
top
require
is_digit
(e)