GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
RESOURCE_LOCATOR
+
Point of view
All features
ANY
RECYCLING_POOL
URL_VALIDITY
URL
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
}
valid_uri
(a_uri:
STRING
):
BOOLEAN
URL
data:
{
URL
}
absolute_uri
(a_uri:
STRING
):
BOOLEAN
relative_uri
(a_uri:
STRING
):
BOOLEAN
set_relative
(a_uri:
STRING
)
{
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
valid_uri
(a_uri)
relative_uri
(a_uri:
STRING
):
BOOLEAN
effective function
{
URL
}
top
require
valid_uri
(a_uri)
set_relative
(a_uri:
STRING
)
deferred procedure
{
URL
}
top
require
relative_uri
(a_uri)
recycle
deferred procedure
{
RECYCLING_POOL
}
top
Do whatever needs to be done to free resources or recycle other objects when recycling this one