home
wiki
classes/clusters list
class information
+
Point of view
PROTOCOL
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
Protocol registry
unregister
(p:
PROTOCOL
)
is_registered
(p:
PROTOCOL
):
BOOLEAN
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)
unregister
(p:
PROTOCOL
)
effective procedure
top
require
not p.is_connected
ensure
not
is_registered
(p)
is_registered
(p:
PROTOCOL
):
BOOLEAN
effective function
top