GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
liberty
>
FORMATTER
+
Point of view
All features
ANY
All features
class FORMATTER
Summary
top
A
STRING_FORMATTER
class using a buffer string as output. Strings and messages can be easily appended with
append
and
put_message
. The formatted content can be printed on streams with
print_on
and appended to other strings with
append_on
Direct parents
Inherit list:
STRING_FORMATTER
Overview
top
Creation features
{
ANY
}
default_create
Default creation method.
Features
{
ANY
}
clear
Clears the content of Current's buffer.
reset
Clears the content of Current's buffer.
reset_with
(a_string:
STRING
)
Overwrite the content of Current's buffer with a copy of
a_string
.
out
:
STRING
A newly create copy of Current content
append
(a_string:
ABSTRACT_STRING
)
Append
a_string
to the content of Current
append_new_line
Append a new line to Current
append_on
(a_string:
STRING
)
Append the content of Current to
a_string
print_on
(a_stream:
OUTPUT_STREAM
)
Put current content on
a_stream
is_empty
:
BOOLEAN
Is current empty?
count
:
INTEGER_32
Content length
default_create
Default creation method.
put
(c:
CHARACTER
)
Implementation
{}
put_item
(item:
ABSTRACT_STRING
)
buffer
:
STRING
{}
delimiter
:
CHARACTER
opening_brace
:
CHARACTER
closing_brace
:
CHARACTER
is_digit
(c:
CHARACTER
):
BOOLEAN
value
(c:
CHARACTER
):
INTEGER_32
{
ANY
}
put_message
(message: TRAVERSABLE[E_], arguments: TRAVERSABLE[F_])
clear
effective procedure
{
ANY
}
top
Clears the content of Current's buffer.
reset
effective procedure
{
ANY
}
top
Clears the content of Current's buffer.
reset_with
(a_string:
STRING
)
effective procedure
{
ANY
}
top
Overwrite the content of Current's buffer with a copy of
a_string
.
out
:
STRING
effective function
{
ANY
}
top
A newly create copy of Current content
append
(a_string:
ABSTRACT_STRING
)
effective procedure
{
ANY
}
top
Append
a_string
to the content of Current
append_new_line
effective procedure
{
ANY
}
top
Append a new line to Current
append_on
(a_string:
STRING
)
effective procedure
{
ANY
}
top
Append the content of Current to
a_string
require
a_string /= Void
print_on
(a_stream:
OUTPUT_STREAM
)
effective procedure
{
ANY
}
top
Put current content on
a_stream
require
a_stream.is_connected
ensure
is_empty
is_empty
:
BOOLEAN
effective function
{
ANY
}
top
Is current empty?
count
:
INTEGER_32
effective function
{
ANY
}
top
Content length
default_create
effective procedure
{
ANY
}
top
Default creation method.
It is used when no creation method is specified if allowed. Note it may be renamed.
put
(c:
CHARACTER
)
effective procedure
{
ANY
}
top
put_item
(item:
ABSTRACT_STRING
)
effective procedure
{}
top
buffer
:
STRING
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