|
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 |
| make |
| frozen singleton: STANDARD_STREAMS |