GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
HTTP_PROTOCOL
+
Point of view
All features
ANY
RECYCLING_POOL
URL_VALIDITY
URL
All features
class HTTP_PROTOCOL
Summary
top
To access to
"http://..."
URLs
Direct parents
Inherit list:
TCP_PROTOCOL
Class invariant
top
error /= Void implies not is_connected
Overview
top
Creation features
{
PROTOCOLS
}
make
(a_name:
FIXED_STRING
, a_standard_port:
INTEGER_32
)
Features
{
ANY
}
name
:
FIXED_STRING
is_connected
:
BOOLEAN
standard_port
:
INTEGER_32
{
URL
}
input
:
INPUT_STREAM
output
:
OUTPUT_STREAM
disconnect
connect_to
(url:
URL
, read:
BOOLEAN
, write:
BOOLEAN
)
{}
make
(a_name:
FIXED_STRING
, a_standard_port:
INTEGER_32
)
sockinout
:
SOCKET_INPUT_OUTPUT_STREAM
proxy_url
:
URL
tcp_connect_to
(ios:
SOCKET_INPUT_OUTPUT_STREAM
, url:
URL
, read:
BOOLEAN
, write:
BOOLEAN
)
{
ANY
}
error
:
STRING
valid_uri
(a_uri:
STRING
):
BOOLEAN
sync
:
BOOLEAN
set_sync
(a_sync:
BOOLEAN
) assign
sync
{
URL
}
locator
(a_uri:
STRING
):
NETWORK_RESOURCE_LOCATOR
PROTOCOL
is a factory of
RESOURCE_LOCATOR
recycle_locator
(a_locator:
RESOURCE_LOCATOR
)
{}
locators
:
RECYCLING_POOL
[
NETWORK_RESOURCE_LOCATOR
]
{
RECYCLING_POOL
}
recycle
Do whatever needs to be done to free resources or recycle other objects when recycling this one
{}
dispose
Action to be executed just before garbage collection reclaims an object.
{}
is_relative_uri
(a_uri:
STRING
):
BOOLEAN
is_absolute_uri
(a_uri:
STRING
):
BOOLEAN
True if
a_uri
contains a correctly formatted network URI (i.e. everything except the protocol scheme)
{}
notation
:
UNIX_DIRECTORY_NOTATION
name
:
FIXED_STRING
writable attribute
{
ANY
}
top
is_connected
:
BOOLEAN
effective function
{
ANY
}
top
standard_port
:
INTEGER_32
writable attribute
{
ANY
}
top
input
:
INPUT_STREAM
writable attribute
{
URL
}
top
require
is_connected
output
:
OUTPUT_STREAM
writable attribute
{
URL
}
top
require
is_connected
disconnect
effective procedure
{
URL
}
top
require
is_connected
ensure
not is_connected
connect_to
(url:
URL
, read:
BOOLEAN
, write:
BOOLEAN
)
effective procedure
{
URL
}
top
require
url.uri /= Void
not is_connected
read or write
make
(a_name:
FIXED_STRING
, a_standard_port:
INTEGER_32
)
effective procedure
{}
top
sockinout
:
SOCKET_INPUT_OUTPUT_STREAM
writable attribute
{}
top
proxy_url
:
URL
writable attribute
{}
top
tcp_connect_to
(ios:
SOCKET_INPUT_OUTPUT_STREAM
, url:
URL
, read:
BOOLEAN
, write:
BOOLEAN
)
effective procedure
{}
top
require
ios.is_connected
url.uri /= Void
not is_connected
error
:
STRING
writable attribute
{
ANY
}
top
valid_uri
(a_uri:
STRING
):
BOOLEAN
effective function
{
ANY
}
top
sync
:
BOOLEAN
writable attribute
{
ANY
}
top
set_sync
(a_sync:
BOOLEAN
) assign
sync
effective procedure
{
ANY
}
top
ensure
sync
= a_sync
locator
(a_uri:
STRING
):
NETWORK_RESOURCE_LOCATOR
effective function
{
URL
}
top
PROTOCOL
is a factory of
RESOURCE_LOCATOR
require
valid_uri(a_uri)
ensure
Result.uri.is_equal(a_uri)
recycle_locator
(a_locator:
RESOURCE_LOCATOR
)
effective procedure
{
URL
}
top
require
a_locator /= Void
locators
:
RECYCLING_POOL
[
NETWORK_RESOURCE_LOCATOR
]
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
dispose
effective procedure
{}
top
Action to be executed just before garbage collection reclaims an object.
is_relative_uri
(a_uri:
STRING
):
BOOLEAN
effective function
{}
top
is_absolute_uri
(a_uri:
STRING
):
BOOLEAN
effective function
{}
top
True if
a_uri
contains a correctly formatted network URI (i.e. everything except the protocol scheme)
require
not a_uri.is_empty
notation
:
UNIX_DIRECTORY_NOTATION
once function
{}
top