+
Point of view
All features
deferred class RESOURCE_LOCATOR
Summary
top
Implementation of URL
Direct parents
Insert list: RECYCLABLE
Known children
Inherit list: FILE_RESOURCE_LOCATOR, NETWORK_RESOURCE_LOCATOR
Overview
top
Features
{ANY}
  • uri: STRING
  • is_equal (other: RESOURCE_LOCATOR): BOOLEAN
    Is other attached to an object considered equal to current object?
{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
uri: STRING
deferred function
{ANY}
top
is_equal (other: RESOURCE_LOCATOR): BOOLEAN
effective function
{ANY}
top
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)
valid_uri (a_uri: STRING): BOOLEAN
deferred function
{URL_VALIDITY}
top
absolute_uri (a_uri: STRING): BOOLEAN
deferred function
{URL}
top
require
relative_uri (a_uri: STRING): BOOLEAN
effective function
{URL}
top
require
set_relative (a_uri: STRING)
deferred procedure
{URL}
top
require
recycle
deferred procedure
{RECYCLING_POOL}
top
Do whatever needs to be done to free resources or recycle other objects when recycling this one