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