class STD_OUTPUT
Summary
Overview
creation features
features
  • recycle
    Do whatever needs to be done to free resources or recycle other objects when recycling this one
To write a number:
Other features:
is_connected: BOOLEAN
attribute
True if the stream is connected.
disconnect
Try to disconnect the stream.
make
filtered_put_character (c: CHARACTER)
filtered_flush
put_line (s: STRING)
Output the string followed by a '%N'.
filtered_descriptor: INTEGER_32
Find the descriptor of the terminal stream...
filtered_has_descriptor: BOOLEAN
attribute
True if the underlying terminal stream has a descriptor
filtered_stream_pointer: POINTER
Find the pointer of the terminal stream...
filtered_has_stream_pointer: BOOLEAN
attribute
True if the underlying terminal stream has a pointer
redirect_to (file_name: STRING)
Redirect standard output to file_name instead of the default standard output.
redirect_append_to (file_name: STRING)
Redirect standard output to file_name instead of the default standard output.
restore_default_output
Restore standard output to go to the default standard output.
buffer_position: INTEGER_32
attribute
attribute
capacity: INTEGER_32
attribute
write_buffer
stdout: POINTER
can_put_character (c: CHARACTER): BOOLEAN
can_disconnect: BOOLEAN
attribute
True if the stream can be safely disconnected (without data loss, etc.)
put_character (c: CHARACTER)
flush
Flushes the pipe.
detach
Shake off the filter.
attribute
The filter that uses this stream as backend
event_can_write: EVENT_DESCRIPTOR
attribute
descriptor: INTEGER_32
Some OS-dependent descriptor.
has_descriptor: BOOLEAN
True if that stream can be associated to some OS-meaningful descriptor.
stream_pointer: POINTER
Some Back-end-dependent pointer (FILE* in C, InputStream or OutputStream in Java)
has_stream_pointer: BOOLEAN
True if that stream can be associated to some Back-end-meaningful stream pointer.
recycle
Do whatever needs to be done to free resources or recycle other objects when recycling this one
sequencer_descriptor (file: POINTER): INTEGER_32
is_filtered: BOOLEAN
deferred
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_integer (i: INTEGER_64)
frozen
Output i to current output device.
put_integer_format (i: INTEGER_64, s: INTEGER_32)
frozen
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.
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)
tmp_file_read: TEXT_FILE_READ
once
tmp_string: STRING
once
io_putc (byte: CHARACTER, stream: POINTER)
io_fwrite (buf: NATIVE_ARRAY[CHARACTER], size: INTEGER_32, stream: POINTER)
io_flush (stream: POINTER)
set_filter (a_filter: FILTER)
Used by the filter itself to get attached
redirection_succeeded: BOOLEAN
attribute
Did the last call to redirect succeed?
restore_default
Cancel redirection
redirect (file_descriptor: INTEGER_32)
Redirect to/from file_descriptor
save_default_descriptor
Always call this before calling dup2(..., filtered_descriptor)
default_descriptor: INTEGER_32
attribute
A descriptor that referes to the same file as stdin initially does.
dup (descriptor_: INTEGER_32): INTEGER_32
Return a new descriptor that refers to the same file as descriptor_.
dup2 (descriptor_1: INTEGER_32, descriptor_2: INTEGER_32)
Make descriptor_2 point to the same file as descriptor_1.
open_descriptor_for_read (file_name: POINTER): INTEGER_32
Open file_name for reading, returning a descriptor to it.
open_descriptor_for_create (file_name: POINTER): INTEGER_32
Open file_name for writing, returning a descriptor to it.
open_descriptor_for_append (file_name: POINTER): INTEGER_32
Open file_name for writing, returning a descriptor to it.
open_descriptor_succeeded (descriptor_: INTEGER_32): BOOLEAN
Did open returning descriptor_ succeed ?
close_descriptor (descriptor_: INTEGER_32)
Close descriptor_, freeing it for later use.