home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
URL
RECYCLING_POOL
INTERNALS_HANDLER
All features
deferred class PROTOCOL
Summary
top
Direct parents
insert list:
RECYCLABLE
Known children
inherit list:
FILE_PROTOCOL
,
TCP_PROTOCOL
Class invariant
top
error
/= Void implies not
is_connected
Overview
top
features
name
:
STRING
is_connected
:
BOOLEAN
error
:
STRING
connect_to
(url:
URL
)
disconnect
input
:
INPUT_STREAM
output
:
OUTPUT_STREAM
recycle
Do whatever needs to be done to free resources or recycle other objects when recycling this one
name
:
STRING
deferred function
top
is_connected
:
BOOLEAN
deferred function
top
error
:
STRING
deferred function
top
connect_to
(url:
URL
)
deferred procedure
top
require
url /= Void
not
is_connected
disconnect
deferred procedure
top
require
is_connected
ensure
not
is_connected
input
:
INPUT_STREAM
deferred function
top
require
is_connected
output
:
OUTPUT_STREAM
deferred function
top
require
is_connected
recycle
effective procedure
top
Do whatever needs to be done to free resources or recycle other objects when recycling this one