+
Point of view
All features
class STRING_PRINTER
Summary
top
Direct parents
Inherit list: STRING_FORMATTER
Overview
top
Creation features
{ANY}
Features
{ANY}
{}
{}
{}
{ANY}
  • put_message (message: TRAVERSABLE[E_], arguments: TRAVERSABLE[F_])
make (output_: OUTPUT_STREAM)
effective procedure
{ANY}
top
require
  • output_.is_connected
ensure
put (c: CHARACTER)
effective procedure
{}
top
put_item (item: ABSTRACT_STRING)
effective procedure
{}
top
output: OUTPUT_STREAM
writable attribute
{}
top
delimiter: CHARACTER
is '@'
constant attribute
{}
top
opening_brace: CHARACTER
is '('
constant attribute
{}
top
closing_brace: CHARACTER
is ')'
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[F_])
effective procedure
{ANY}
top