home
wiki
classes/clusters list
class information
+
Point of view
URL
ANY
URL
RECYCLING_POOL
INTERNALS_HANDLER
All features
class FILE_PROTOCOL
Summary
top
To access to
"file://..."
URLs
Direct parents
inherit list:
PROTOCOL
Class invariant
top
error /= Void implies not is_connected
Overview
top
creation features
exported features
name
:
STRING
is_connected
:
BOOLEAN
error
:
STRING
connect_to
(url:
URL
)
disconnect
input
:
INPUT_STREAM
output
:
OUTPUT_STREAM
name
:
STRING
constant attribute
top
is_connected
:
BOOLEAN
effective function
top
error
:
STRING
writable attribute
top
connect_to
(url:
URL
)
effective procedure
top
require
url /= Void
not is_connected
disconnect
effective procedure
top
require
is_connected
ensure
not is_connected
input
:
INPUT_STREAM
effective function
top
require
is_connected
output
:
OUTPUT_STREAM
effective function
top
require
is_connected