home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
INTERNALS_HANDLER
All features
deferred class OUTPUT_STREAM_TOOLS
Summary
top
Direct parents
insert list:
STRING_HANDLER
Known children
insert list:
OUTPUT_STREAM
Overview
top
exported features
put_character
(c:
CHARACTER
)
flush
Flushes the pipe.
can_put_character
(c:
CHARACTER
):
BOOLEAN
is_filtered
:
BOOLEAN
is_connected
:
BOOLEAN
put_string
(s:
STRING
)
Output
s
to current output device.
put_unicode_string
(unicode_string:
UNICODE_STRING
)
Output the UTF-8 encoding of the
unicode_string
.
put_line
(s:
STRING
)
Output the string followed by a
'%N'
.
To write a number:
put_integer
(i:
INTEGER_64
)
Output
i
to current output device.
put_integer_format
(i:
INTEGER_64
, s:
INTEGER_32
)
Output
i
to current output device using at most
s
character.
put_real
(r:
REAL_64
)
Output
r
to current output device.
put_real_format
(r:
REAL_64
, f:
INTEGER_32
)
Output
r
with only
f
digit for the fractionnal part.
put_real_scientific
(r:
REAL_64
, f:
INTEGER_32
)
Output
r
using the scientific notation with only
f
digit for the fractionnal part.
put_number
(number:
NUMBER
)
Output the
number
.
Other features:
put_boolean
(b:
BOOLEAN
)
Output
b
to current output device according to the Eiffel format.
put_pointer
(p:
POINTER
)
Output a viewable version of
p
.
put_new_line
Output a newline character.
put_spaces
(nb:
INTEGER_32
)
Output
nb
spaces character.
append_file
(file_name:
STRING
)
put_character
(c:
CHARACTER
)
deferred procedure
top
require
is_connected
not
is_filtered
and then
can_put_character
(c)
flush
deferred procedure
top
Flushes the pipe.
If
is_filtered
, calls the filter's
flush
instead.
require
is_connected
can_put_character
(c:
CHARACTER
):
BOOLEAN
deferred function
top
is_filtered
:
BOOLEAN
deferred function
top
is_connected
:
BOOLEAN
deferred function
top
put_string
(s:
STRING
)
effective procedure
top
Output
s
to current output device.
require
is_connected
not
is_filtered
s /= Void
put_unicode_string
(unicode_string:
UNICODE_STRING
)
effective procedure
top
Output the UTF-8 encoding of the
unicode_string
.
require
is_connected
not
is_filtered
unicode_string /= Void
put_line
(s:
STRING
)
effective procedure
top
Output the string followed by a
'%N'
.
%
put_integer
(i:
INTEGER_64
)
frozen
effective procedure
top
Output
i
to current output device.
require
is_connected
not
is_filtered
put_integer_format
(i:
INTEGER_64
, s:
INTEGER_32
)
frozen
effective procedure
top
Output
i
to current output device using at most
s
character.
require
is_connected
not
is_filtered
put_real
(r:
REAL_64
)
effective procedure
top
Output
r
to current output device.
require
is_connected
not
is_filtered
put_real_format
(r:
REAL_64
, f:
INTEGER_32
)
effective procedure
top
Output
r
with only
f
digit for the fractionnal part.
Examples:
put_real(3.519,2) print
"3.51"
.
require
is_connected
not
is_filtered
f >= 0
put_real_scientific
(r:
REAL_64
, f:
INTEGER_32
)
effective procedure
top
Output
r
using the scientific notation with only
f
digit for the fractionnal part.
Examples:
put_real_scientific(3.519,2) print
"3.16e+00"
.
require
is_connected
not
is_filtered
f >= 0
put_number
(number:
NUMBER
)
effective procedure
top
Output the
number
.
require
is_connected
not
is_filtered
number /= Void
put_boolean
(b:
BOOLEAN
)
effective procedure
top
Output
b
to current output device according to the Eiffel format.
require
is_connected
not
is_filtered
put_pointer
(p:
POINTER
)
effective procedure
top
Output a viewable version of
p
.
require
is_connected
not
is_filtered
put_new_line
effective procedure
top
Output a newline character.
require
is_connected
not
is_filtered
put_spaces
(nb:
INTEGER_32
)
effective procedure
top
Output
nb
spaces character.
require
is_connected
not
is_filtered
nb >= 0
append_file
(file_name:
STRING
)
effective procedure
top
require
is_connected
not
is_filtered
(create {
FILE_TOOLS
}).is_readable(file_name)