home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
INTERNALS_HANDLER
All features
class STRING_PRINTER
Summary
top
Direct parents
inherit list:
STRING_FORMATTER
Overview
top
creation features
make
(output_:
OUTPUT_STREAM
)
features
make
(output_:
OUTPUT_STREAM
)
put
(c:
CHARACTER
)
put_item
(item:
ANY
)
output
:
OUTPUT_STREAM
delimiter
:
CHARACTER
opening_brace
:
CHARACTER
closing_brace
:
CHARACTER
is_digit
(c:
CHARACTER
):
BOOLEAN
value
(c:
CHARACTER
):
INTEGER_32
put_message
(message:
TRAVERSABLE
[E_], arguments:
TRAVERSABLE
[
ANY
])
make
(output_:
OUTPUT_STREAM
)
effective procedure
top
require
output_.is_connected
ensure
output
= output_
put
(c:
CHARACTER
)
effective procedure
top
put_item
(item:
ANY
)
effective procedure
top
output
:
OUTPUT_STREAM
writable attribute
top
delimiter
:
CHARACTER
constant attribute
top
opening_brace
:
CHARACTER
constant attribute
top
closing_brace
:
CHARACTER
constant attribute
top
is_digit
(c:
CHARACTER
):
BOOLEAN
effective function
top
value
(c:
CHARACTER
):
INTEGER_32
effective function
top
require
is_digit(c)
put_message
(message:
TRAVERSABLE
[E_], arguments:
TRAVERSABLE
[
ANY
])
effective procedure
top