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. |
make |
std_input: INPUT_STREAM |
std_output: OUTPUT_STREAM |
std_error: OUTPUT_STREAM |
set_std_input (a_std_input: INPUT_STREAM) |
require
|
restore_std_input |
set_std_output (a_std_output: OUTPUT_STREAM) |
require
|
restore_std_output |
set_std_error (a_std_error: OUTPUT_STREAM) |
require
|
restore_std_error |