+
Point of view
All features
deferred class PROTOCOL
Summary
top
Direct parents
Insert list: DISPOSABLE, RECYCLABLE
Known children
Inherit list: FILE_PROTOCOL, STREAM_PROTOCOL, TCP_PROTOCOL
Class invariant
top
Overview
top
Features
{ANY}
{URL_VALIDITY}
{URL}
{RECYCLING_POOL}
  • recycle
    Do whatever needs to be done to free resources or recycle other objects when recycling this one
{}
  • dispose
    Action to be executed just before garbage collection reclaims an object.
deferred function
{ANY}
top
is_connected: BOOLEAN
deferred function
{ANY}
top
error: STRING
deferred function
{ANY}
top
valid_uri (a_uri: STRING): BOOLEAN
deferred function
{URL_VALIDITY}
top
connect_to (url: URL, read: BOOLEAN, write: BOOLEAN)
deferred procedure
{URL}
top
require
disconnect
deferred procedure
{URL}
top
require ensure
input: INPUT_STREAM
deferred function
{URL}
top
require
output: OUTPUT_STREAM
deferred function
{URL}
top
require
locator (a_uri: STRING): RESOURCE_LOCATOR
deferred function
{URL}
top
PROTOCOL is a factory of RESOURCE_LOCATOR
require ensure
  • Result.uri.is_equal(a_uri)
recycle_locator (a_locator: RESOURCE_LOCATOR)
deferred procedure
{URL}
top
require
  • a_locator /= Void
recycle
effective procedure
{RECYCLING_POOL}
top
Do whatever needs to be done to free resources or recycle other objects when recycling this one
dispose
effective procedure
{}
top
Action to be executed just before garbage collection reclaims an object.