+
Point of view
All features
class HTTP_PROTOCOL
Summary
Class invariant
Overview
creation features
features
  • recycle
    Do whatever needs to be done to free resources or recycle other objects when recycling this one
name: STRING
writable attribute
is_connected: BOOLEAN
effective function
standard_port: INTEGER_32
writable attribute
input: INPUT_STREAM
writable attribute
output: OUTPUT_STREAM
writable attribute
disconnect
effective procedure
connect_to (url: URL)
effective procedure
make (a_name: STRING, a_standard_port: INTEGER_32)
effective procedure
writable attribute
proxy_url: URL
writable attribute
tcp_connect_to (ios: SOCKET_INPUT_OUTPUT_STREAM, url: URL)
effective procedure
error: STRING
writable attribute
agent_unregister: PROCEDURE[TUPLE]
writable attribute
unregister (p: PROTOCOL)
effective procedure
recycle
effective procedure
Do whatever needs to be done to free resources or recycle other objects when recycling this one