+
Point of view
FILTER_OUTPUT_STREAM
class STD_OUTPUT
require
- is_connected
- can_disconnect
- is_connected
- can_disconnect
ensure
require
- is_connected
- can_put_character(c)
require
- is_connected
- filtered_has_descriptor
- is_connected
- filtered_has_descriptor
require
- is_connected
- filtered_has_stream_pointer
- is_connected
- filtered_has_stream_pointer
filtered_has_stream_pointer:
BOOLEAN
attribute
require
- is_connected
- not is_filtered and then can_put_character(c)
append_file (file_name:
STRING)