home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
URL
RECYCLING_POOL
INTERNALS_HANDLER
All features
class HTTP_PROTOCOL
Summary
top
Direct parents
inherit list:
TCP_PROTOCOL
Class invariant
top
error /= Void implies not is_connected
Overview
top
creation features
make
(a_name:
STRING
, a_standard_port:
INTEGER_32
)
features
name
:
STRING
is_connected
:
BOOLEAN
standard_port
:
INTEGER_32
input
:
INPUT_STREAM
output
:
OUTPUT_STREAM
disconnect
connect_to
(url:
URL
)
make
(a_name:
STRING
, a_standard_port:
INTEGER_32
)
sockinout
:
SOCKET_INPUT_OUTPUT_STREAM
proxy_url
:
URL
tcp_connect_to
(ios:
SOCKET_INPUT_OUTPUT_STREAM
, url:
URL
)
error
:
STRING
agent_unregister
:
PROCEDURE
[
TUPLE
]
unregister
(p:
PROTOCOL
)
recycle
Do whatever needs to be done to free resources or recycle other objects when recycling this one
name
:
STRING
writable attribute
top
is_connected
:
BOOLEAN
effective function
top
standard_port
:
INTEGER_32
writable attribute
top
input
:
INPUT_STREAM
writable attribute
top
require
is_connected
output
:
OUTPUT_STREAM
writable attribute
top
require
is_connected
disconnect
effective procedure
top
require
is_connected
ensure
not is_connected
connect_to
(url:
URL
)
effective procedure
top
require
url /= Void
not is_connected
make
(a_name:
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
)
effective procedure
top
require
ios.is_connected
url /= Void
not is_connected
error
:
STRING
writable attribute
top
agent_unregister
:
PROCEDURE
[
TUPLE
]
writable attribute
top
unregister
(p:
PROTOCOL
)
effective procedure
top
require
not p.is_connected
recycle
effective procedure
top
Do whatever needs to be done to free resources or recycle other objects when recycling this one