+
Point of view
All features
class STRING_PRINTER
Summary
Overview
make (output_: OUTPUT_STREAM)
effective procedure
put (c: CHARACTER)
effective procedure
put_item (item: ANY)
effective procedure
output: OUTPUT_STREAM
writable attribute
delimiter: CHARACTER
constant attribute
opening_brace: CHARACTER
constant attribute
closing_brace: CHARACTER
constant attribute
is_digit (c: CHARACTER): BOOLEAN
effective function
value (c: CHARACTER): INTEGER_32
effective function
put_message (message: TRAVERSABLE[E_], arguments: TRAVERSABLE[ANY])
effective procedure