+
Point of view
All features
expanded class PROTOCOLS
Summary
top
The PROTOCOL factory. You may register your own protocols here.
See register_protocol_factory
Direct parents
Insert list: ANY
Overview
top
register_protocol_factory (a_protocol_name: ABSTRACT_STRING, a_factory: FUNCTION[TUPLE, PROTOCOL])
effective procedure
{ANY}
top
require ensure
known_protocol (a_protocol_name: ABSTRACT_STRING): BOOLEAN
effective function
{ANY}
top
require
  • a_protocol_name.count > 0
protocol (a_protocol_name: ABSTRACT_STRING): PROTOCOL
effective function
{ANY}
top
require ensure
  • not Result.is_connected
recycle (a_protocol: PROTOCOL)
effective procedure
{ANY}
top
require
  • not a_protocol.is_connected
once function
{}
top
init
once procedure
{}
top
new_http (name: FIXED_STRING, port: INTEGER_32): HTTP_PROTOCOL
effective function
{}
top
require
  • name = name.intern
new_file: FILE_PROTOCOL
effective function
{}
top
once function
{}
top
unused_protocols (a_protocol_name: FIXED_STRING): RECYCLING_POOL[PROTOCOL]
effective function
{}
top
ensure
  • Result /= Void
default_create
effective procedure
{}
top
Default creation method.
It is used when no creation method is specified if allowed. Note it may be renamed.