+
Point of view
All features
deferred class STRING_FORMATTER
Summary
Direct parents
Inherit list: MESSAGE_FORMATTER
Known children
Inherit list: STRING_PRINTER
Insert list: LOG_OUTPUT
Overview
Features
{}
{ANY}
  • put_message (message: TRAVERSABLE[E_], arguments: TRAVERSABLE[F_])
{}
delimiter: CHARACTER
is '@'
constant attribute
{}
opening_brace: CHARACTER
is '('
constant attribute
{}
closing_brace: CHARACTER
is ')'
constant attribute
{}
is_digit (c: CHARACTER): BOOLEAN
effective function
{}
value (c: CHARACTER): INTEGER_32
effective function
{}
require
  • is_digit(c)
put_message (message: TRAVERSABLE[E_], arguments: TRAVERSABLE[F_])
effective procedure
{ANY}
put (e: E_)
deferred procedure
{}
put_item (item: F_)
deferred procedure
{}