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