home
wiki
classes/clusters list
class information
+
Point of view
STREAM
ANY
STREAM
FILTER
INTERNALS_HANDLER
All features
deferred class FILTER
Summary
top
A filter is something connected to a stream. It allows to add behavior (e.g. compression, encryption and any other codings).
There are two kinds of filters:
input
filters (see
FILTER_INPUT_STREAM
)
output
filters (see
FILTER_OUTPUT_STREAM
)
Direct parents
insert list:
ANY
Known children
insert list:
FILTER_INPUT_STREAM
,
FILTER_OUTPUT_STREAM
Overview
top
exported features
connect_to
(a_stream:
FILTERABLE
)
Connect the filter to some underlying stream.
is_connected
:
BOOLEAN
True if the filter is connected to some underlying stream.
disconnect
Disconnect from the underlying stream.
can_disconnect
:
BOOLEAN
do_detach
Used by the underlying stream to require not to be filtered anymore
connect_to
(a_stream:
FILTERABLE
)
effective procedure
top
Connect the filter to some underlying stream.
require
not
is_connected
a_stream.is_connected
not a_stream.is_filtered
ensure
is_connected
is_connected
:
BOOLEAN
effective function
top
True if the filter is connected to some underlying stream.
disconnect
deferred procedure
top
Disconnect from the underlying stream.
require
is_connected
can_disconnect
ensure
not
is_connected
can_disconnect
:
BOOLEAN
effective function
top
do_detach
deferred procedure
top
Used by the underlying stream to require not to be filtered anymore