+
Point of view
All features
deferred class FILTER_OUTPUT_STREAM
- Direct parents
- Inherit list: OUTPUT_STREAM
- Insert list: FILTER
- Known children
- Inherit list: ANSI_OUTPUT_STREAM, BASE64_OUTPUT_STREAM, CRLF_OUTPUT_STREAM, HTML_OUTPUT_STREAM, HTTP_CLIENT_OUTPUT_STREAM, LINES_OUTPUT_STREAM, MONITORED_OUTPUT_STREAM, QUOTED_PRINTABLE_OUTPUT_STREAM, SPLIT_OUTPUT_STREAM, WEB_OUTPUT_STREAM, WORDS_OUTPUT_STREAM
- stream /= Void implies stream.filter = Current
Features
{}
{}
{}
{}
{}
{}
{}
{}
{}
require
- is_connected
- can_disconnect
- is_connected
- can_disconnect
- is_connected
- can_disconnect
ensure
- not is_connected
- stream = Void
- not is_filtered
require
- is_connected
- not is_filtered and then can_put_character(c)
filter: FILTER_OUTPUT_STREAM
writable attribute
ensure
-
yes_indeed_it_is_the_same_object: Result.to_pointer = to_pointer
frozen
effective function
ensure
-
not_void: Result /= Void
-
always_the_same: Result = url
filtered_has_stream_pointer:
BOOLEAN
deferred function
frozen
effective procedure
frozen
effective procedure
frozen
effective procedure
frozen
effective procedure
frozen
effective procedure
frozen
effective procedure
frozen
effective procedure
frozen
effective procedure
frozen
effective procedure
frozen
effective procedure
append_file (file_name:
STRING)
effective procedure
require
- not is_connected
- a_stream.is_connected
- not a_stream.is_filtered
ensure