+
Point of view
All features
class FILE_PROTOCOL
Summary
top
To access to "file://..." URLs
Direct parents
Inherit list: PROTOCOL
Class invariant
top
Overview
top
once function
{ANY}
top
is_connected: BOOLEAN
effective function
{ANY}
top
error: STRING
writable attribute
{ANY}
top
valid_uri (a_uri: STRING): BOOLEAN
effective function
{URL_VALIDITY}
top
connect_to (url: URL, read: BOOLEAN, write: BOOLEAN)
effective procedure
{URL}
top
require
  • url.uri /= Void
  • not is_connected
  • read or write
disconnect
effective procedure
{URL}
top
require
  • is_connected
ensure
input: INPUT_STREAM
effective function
{URL}
top
require
  • is_connected
output: OUTPUT_STREAM
effective function
{URL}
top
require
  • is_connected
locator (a_uri: STRING): FILE_RESOURCE_LOCATOR
effective function
{URL}
top
PROTOCOL is a factory of RESOURCE_LOCATOR
require
  • valid_uri(a_uri)
ensure
  • Result.uri.is_equal(a_uri)
recycle_locator (a_locator: RESOURCE_LOCATOR)
effective procedure
{URL}
top
require
  • a_locator /= Void
writable attribute
{}
top
instream: TEXT_FILE_READ
writable attribute
{}
top
outstream: TEXT_FILE_WRITE
writable attribute
{}
top
make
effective procedure
{}
top
once function
{}
top
once function
{}
top
once function
{}
top
once function
{}
top
once function
{}
top
effective function
{}
top
rstream: TEXT_FILE_READ
effective function
{}
top
wstream: TEXT_FILE_WRITE
effective function
{}
top
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.