home
wiki
classes/clusters list
class information
+
Point of view
INTERNALS_HANDLER
ANY
PROTOCOL
INTERNALS_HANDLER
All features
expanded class PROTOCOLS
Summary
top
Direct parents
insert list:
ANY
Overview
top
exported 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
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)