class FILE_RESOURCE_LOCATOR
Summary
A "file:" URL
Direct parents
Inherit list: RESOURCE_LOCATOR
Overview
Creation features
{FILE_PROTOCOL}
Features
{FILE_PROTOCOL}
{}
{ANY}
{URL_VALIDITY}
URL data:
{URL}
{}
{RECYCLING_POOL}
  • recycle
    Do whatever needs to be done to free resources or recycle other objects when recycling this one
{ANY}
  • is_equal (other: FILE_RESOURCE_LOCATOR): BOOLEAN
    Is other attached to an object considered equal to current object?
URL data:
{URL}
path: STRING
effective function
set_uri (a_uri: STRING)
effective procedure
normalized_uri (a_uri: STRING): STRING
effective function
{}
uri: STRING
writable attribute
{ANY}
valid_uri (a_uri: STRING): BOOLEAN
effective function
absolute_uri (a_uri: STRING): BOOLEAN
effective function
{URL}
require
  • valid_uri(a_uri)
set_relative (a_uri: STRING)
effective procedure
{URL}
require
  • relative_uri(a_uri)
string_pool: STRING_RECYCLING_POOL
once function
{}
once function
{}
recycle
effective procedure
Do whatever needs to be done to free resources or recycle other objects when recycling this one
is_equal (other: FILE_RESOURCE_LOCATOR): BOOLEAN
effective function
{ANY}
Is other attached to an object considered equal to current object?
require
  • other /= Void
ensure
  • commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)
relative_uri (a_uri: STRING): BOOLEAN
effective function
{URL}
require