+
Point of view
All features
deferred class TERMINAL_OUTPUT_STREAM
require
- is_connected
- not is_filtered and then can_put_character(c)
filtered_has_stream_pointer:
BOOLEAN
deferred function
frozen
effective procedure
frozen
effective procedure
append_file (file_name:
STRING)
effective procedure