deferred class TERMINAL_OUTPUT_STREAM
Summary
Overview
exported features
To write a number:
Other features:
can_put_character (c: CHARACTER): BOOLEAN
effective function
can_disconnect: BOOLEAN
constant attribute
True if the stream can be safely disconnected (without data loss, etc.)
put_character (c: CHARACTER)
effective procedure
flush
effective procedure
Flushes the pipe.
detach
effective procedure
Shake off the filter.
event_can_write: EVENT_DESCRIPTOR
effective function
is_connected: BOOLEAN
deferred function
True if the stream is connected.
disconnect
deferred procedure
Try to disconnect the stream.
descriptor: INTEGER_32
effective function
Some OS-dependent descriptor.
has_descriptor: BOOLEAN
effective function
True if that stream can be associated to some OS-meaningful descriptor.
is_filtered: BOOLEAN
deferred function
put_string (s: STRING)
effective procedure
Output s to current output device.
put_unicode_string (unicode_string: UNICODE_STRING)
effective procedure
Output the UTF-8 encoding of the unicode_string.
put_line (s: STRING)
effective procedure
Output the string followed by a '%N'.
put_integer (i: INTEGER_64)
frozen
effective procedure
Output i to current output device.
put_integer_format (i: INTEGER_64, s: INTEGER_32)
frozen
effective procedure
Output i to current output device using at most s character.
put_real (r: REAL_64)
effective procedure
Output r to current output device.
put_real_format (r: REAL_64, f: INTEGER_32)
effective procedure
Output r with only f digit for the fractionnal part.
put_real_scientific (r: REAL_64, f: INTEGER_32)
effective procedure
Output r using the scientific notation with only f digit for the fractionnal part.
put_number (number: NUMBER)
effective procedure
Output the number.
put_boolean (b: BOOLEAN)
effective procedure
Output b to current output device according to the Eiffel format.
put_pointer (p: POINTER)
effective procedure
Output a viewable version of p.
put_new_line
effective procedure
Output a newline character.
put_spaces (nb: INTEGER_32)
effective procedure
Output nb spaces character.
append_file (file_name: STRING)
effective procedure