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}
set_relative (a_uri: STRING)
effective procedure
{URL}
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?
relative_uri (a_uri: STRING): BOOLEAN
effective function
{URL}