GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
FILE_RESOURCE_LOCATOR
+
Point of view
All features
ANY
RECYCLING_POOL
URL_VALIDITY
URL
FILE_PROTOCOL
All features
class FILE_RESOURCE_LOCATOR
Summary
top
A
"file:"
URL
Direct parents
Inherit list:
RESOURCE_LOCATOR
Overview
top
Creation features
{
FILE_PROTOCOL
}
set_uri
(a_uri:
STRING
)
Features
{
FILE_PROTOCOL
}
path
:
STRING
set_uri
(a_uri:
STRING
)
{}
normalized_uri
(a_uri:
STRING
):
STRING
{
ANY
}
uri
:
STRING
{
URL_VALIDITY
}
valid_uri
(a_uri:
STRING
):
BOOLEAN
URL
data:
{
URL
}
absolute_uri
(a_uri:
STRING
):
BOOLEAN
set_relative
(a_uri:
STRING
)
{}
string_pool
:
STRING_RECYCLING_POOL
notation
:
UNIX_DIRECTORY_NOTATION
{
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
}
relative_uri
(a_uri:
STRING
):
BOOLEAN
path
:
STRING
effective function
{
FILE_PROTOCOL
}
top
set_uri
(a_uri:
STRING
)
effective procedure
{
FILE_PROTOCOL
}
top
normalized_uri
(a_uri:
STRING
):
STRING
effective function
{}
top
uri
:
STRING
writable attribute
{
ANY
}
top
valid_uri
(a_uri:
STRING
):
BOOLEAN
effective function
{
URL_VALIDITY
}
top
absolute_uri
(a_uri:
STRING
):
BOOLEAN
effective function
{
URL
}
top
require
valid_uri(a_uri)
set_relative
(a_uri:
STRING
)
effective procedure
{
URL
}
top
require
relative_uri(a_uri)
string_pool
:
STRING_RECYCLING_POOL
once function
{}
top
notation
:
UNIX_DIRECTORY_NOTATION
once 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
is_equal
(other: FILE_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)
relative_uri
(a_uri:
STRING
):
BOOLEAN
effective function
{
URL
}
top
require
valid_uri
(a_uri)