home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
PROTOCOL
INTERNALS_HANDLER
All features
expanded class PROTOCOLS
Summary
top
Direct parents
insert list:
ANY
Overview
top
features
register_protocol_factory
(a_protocol_name:
STRING
, a_factory:
FUNCTION
[
TUPLE
,
PROTOCOL
])
known_protocol
(a_protocol_name:
STRING
):
BOOLEAN
protocol
(a_protocol_name:
STRING
):
PROTOCOL
factories
:
DICTIONARY
[
FUNCTION
[
TUPLE
,
PROTOCOL
],
STRING
]
init
new_http
(name:
STRING
, port:
INTEGER_32
):
HTTP_PROTOCOL
new_file
:
FILE_PROTOCOL
Protocol registry
unregister
(p:
PROTOCOL
)
is_registered
(p:
PROTOCOL
):
BOOLEAN
Protocol registry
register
(p:
PROTOCOL
)
registered
:
FAST_ARRAY
[
WEAK_REFERENCE
[
PROTOCOL
]]
Protocol reuse
unused
:
HASHED_DICTIONARY
[
RECYCLING_POOL
[
PROTOCOL
],
STRING
]
unused_protocols
(a_protocol_name:
STRING
):
RECYCLING_POOL
[
PROTOCOL
]
unused_protocol
(a_protocol_name:
STRING
):
PROTOCOL
set_unused
(a_protocol:
PROTOCOL
)
register_protocol_factory
(a_protocol_name:
STRING
, a_factory:
FUNCTION
[
TUPLE
,
PROTOCOL
])
effective procedure
top
require
a_protocol_name.count > 0
not
known_protocol
(a_protocol_name)
ensure
known_protocol
(a_protocol_name)
known_protocol
(a_protocol_name:
STRING
):
BOOLEAN
effective function
top
require
a_protocol_name.count > 0
protocol
(a_protocol_name:
STRING
):
PROTOCOL
effective function
top
require
a_protocol_name.count > 0
known_protocol
(a_protocol_name)
factories
:
DICTIONARY
[
FUNCTION
[
TUPLE
,
PROTOCOL
],
STRING
]
once function
top
init
once procedure
top
new_http
(name:
STRING
, port:
INTEGER_32
):
HTTP_PROTOCOL
effective function
top
new_file
:
FILE_PROTOCOL
effective function
top
unregister
(p:
PROTOCOL
)
effective procedure
top
require
not p.is_connected
ensure
not
is_registered
(p)
is_registered
(p:
PROTOCOL
):
BOOLEAN
effective function
top
register
(p:
PROTOCOL
)
effective procedure
top
require
not
is_registered
(p)
ensure
is_registered
(p)
registered
:
FAST_ARRAY
[
WEAK_REFERENCE
[
PROTOCOL
]]
once function
top
unused
:
HASHED_DICTIONARY
[
RECYCLING_POOL
[
PROTOCOL
],
STRING
]
once function
top
unused_protocols
(a_protocol_name:
STRING
):
RECYCLING_POOL
[
PROTOCOL
]
effective function
top
ensure
Result /= Void
unused_protocol
(a_protocol_name:
STRING
):
PROTOCOL
effective function
top
ensure
Result /= Void implies not Result.is_connected
set_unused
(a_protocol:
PROTOCOL
)
effective procedure
top
require
not a_protocol.is_connected