+
Point of view
ANY
class URL
Summary
Class invariant
Overview
creation features
exported features
URL connection:
URL data:
is_connected: BOOLEAN
effective function
True if the URL is connected to the resource it points to.
connect
effective procedure
Connect to the resource pointed by this URL.
disconnect
effective procedure
Disconnect from the resource pointed by this URL.
input: INPUT_STREAM
effective function
Data coming from the resource this URL points to.
output: OUTPUT_STREAM
effective function
Data going to the resource this URL points to.
make (a_protocol: PROTOCOL, a_host: STRING, a_port: INTEGER_32, a_path: STRING)
effective procedure
Make a URL with the minimum information.
set_error_handler (a_error_handler: PROCEDURE[TUPLE 1[STRING]])
effective procedure
set_protocol (a_protocol: PROTOCOL)
effective procedure
Sets the protocol.
set_host (a_host: STRING)
effective procedure
Sets the host name.
set_port (a_port: INTEGER_32)
effective procedure
Sets the port number; 0 means use the standard port of the protocol.
set_username (a_username: STRING)
effective procedure
Sets an optional user name; Void clears it.
set_password (a_password: STRING)
effective procedure
Sets an optional password; Void clears it.
set_path (a_path: STRING)
effective procedure
Sets the path.
set_arguments (a_argument_name: STRING, a_argument_value: STRING)
effective procedure
Sets an optional argument.
set_anchor (a_anchor: STRING)
effective procedure
Sets an optional anchor.
set_url (a_url: STRING)
effective procedure
Sets all parts of the URL from the given full URL string.
is_a_url (a_url: STRING): BOOLEAN
effective function
True if a_url contains a correctly formatted URL.
url: STRING
effective function
Returns the full URL string.
protocol: PROTOCOL
writable attribute
The protocol.
username: STRING
writable attribute
The optional user name.
password: STRING
writable attribute
The optional password.
host: STRING
writable attribute
The host name.
port: INTEGER_32
writable attribute
The port; 0 means use the standard port of the protocol.
path: STRING
writable attribute
The path.
arguments: STRING
writable attribute
The optional arguments.
anchor: STRING
writable attribute
The optional anchor.