+
Point of view
All features
class EXAMPLE_HTTP_CLIENT
Summary
Some ideas and first draft of this class kindly provided by Serge mailto:se@sir.nensi.net
Direct parents
Inherit list: XML_NODE_VISITOR
Insert list: PROTOCOLS
Overview
proxy: HTTP_PROXY
writable attribute
{}
make
effective procedure
{}
test_socket (url: URL)
effective procedure
{}
error (line: INTEGER_32, column: INTEGER_32)
effective procedure
{}
visit_composite_node (node: XML_COMPOSITE_NODE)
effective procedure
require
  • node /= Void
visit_data_node (node: XML_DATA_NODE)
effective procedure
require
  • node /= Void
indent: INTEGER_32
writable attribute
{}
_inline_agent4 (err: STRING)
frozen
effective procedure
{}
register_protocol_factory (a_protocol_name: ABSTRACT_STRING, a_factory: FUNCTION[TUPLE, PROTOCOL])
effective procedure
{ANY}
require ensure
known_protocol (a_protocol_name: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
require
  • a_protocol_name.count > 0
protocol (a_protocol_name: ABSTRACT_STRING): PROTOCOL
effective function
{ANY}
require ensure
  • not Result.is_connected
recycle (a_protocol: PROTOCOL)
effective procedure
{ANY}
require
  • not a_protocol.is_connected
once function
{}
init
once procedure
{}
new_http (name: FIXED_STRING, port: INTEGER_32): HTTP_PROTOCOL
effective function
{}
require
  • name = name.intern
new_file: FILE_PROTOCOL
effective function
{}
unused_protocols (a_protocol_name: FIXED_STRING): RECYCLING_POOL[PROTOCOL]
effective function
{}
ensure
  • Result /= Void
default_create
effective procedure
{}
Default creation method.
It is used when no creation method is specified if allowed. Note it may be renamed.