+
Point of view
STREAM_HANDLER
class STD_ERROR
require
- is_connected
- can_disconnect
- is_connected
- can_disconnect
ensure
redirect_to (file_name:
STRING)
redirect_append_to (file_name:
STRING)
require
- is_connected
- not is_filtered and then can_put_character(c)
append_file (file_name:
STRING)