+
Point of view
All features
class STANDARD_STREAMS
Summary
Class invariant
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
make
effective procedure
is_real_singleton: BOOLEAN
effective function
singleton_memory_pool: HASHED_DICTIONARY[POINTER, STRING]
once function
This pool is unique in the whole system.
current_is_not_an_expanded_type: BOOLEAN
effective function
Check that the dynamic type of the SINGLETON is not an expanded type.