+
Point of view
ANY
class STANDARD_STREAMS
Summary
Overview
std_input: INPUT_STREAM
writable attribute
std_output: OUTPUT_STREAM
writable attribute
std_error: OUTPUT_STREAM
writable attribute
set_std_input (a_std_input: INPUT_STREAM)
effective procedure
restore_std_input
effective procedure
set_std_output (a_std_output: OUTPUT_STREAM)
effective procedure
restore_std_output
effective procedure
set_std_error (a_std_error: OUTPUT_STREAM)
effective procedure
restore_std_error
effective procedure