GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
MESSAGE_FORMATTER
+
Point of view
All features
ANY
All features
deferred class MESSAGE_FORMATTER [E_, F_ -> TRAVERSABLE[E_]]
Summary
top
Direct parents
Insert list:
ANY
Known children
Inherit list:
STRING_FORMATTER
Overview
top
Features
{
ANY
}
put_message
(message: TRAVERSABLE[E_], arguments: TRAVERSABLE[F_])
{}
put
(e: E_)
put_item
(item: F_)
{}
delimiter
: E_
opening_brace
: E_
closing_brace
: E_
is_digit
(e: E_):
BOOLEAN
value
(e: E_):
INTEGER_32
put_message
(message: TRAVERSABLE[E_], arguments: TRAVERSABLE[F_])
effective procedure
{
ANY
}
top
put
(e: E_)
deferred procedure
{}
top
put_item
(item: F_)
deferred procedure
{}
top
delimiter
: E_
deferred function
{}
top
opening_brace
: E_
deferred function
{}
top
closing_brace
: E_
deferred function
{}
top
is_digit
(e: E_):
BOOLEAN
deferred function
{}
top
value
(e: E_):
INTEGER_32
deferred function
{}
top
require
is_digit
(e)