class STANDARD_STREAMS

All features

Thanks to this standard_streams singleton object, you can redirect std_input_stream, std_output_stream as well as std_error_stream.

See also the examples from our tutorial/io directory.

Direct parents

conformant parents

ANY

Summary

creation features

exported features

Details

make
std_input: INPUT_STREAM
std_output: OUTPUT_STREAM
std_error: OUTPUT_STREAM
set_std_input (a_std_input: INPUT_STREAM)

require

  • a_std_input.is_connected

restore_std_input
set_std_output (a_std_output: OUTPUT_STREAM)

require

  • a_std_output.is_connected

restore_std_output
set_std_error (a_std_error: OUTPUT_STREAM)

require

  • a_std_error.is_connected

restore_std_error
make
frozen singleton: STANDARD_STREAMS

Class invariant