GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
PROTOCOLS
+
Point of view
All features
ANY
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
Features
{
ANY
}
register_protocol_factory
(a_protocol_name:
ABSTRACT_STRING
, a_factory:
FUNCTION
[
TUPLE
,
PROTOCOL
])
{
ANY
}
known_protocol
(a_protocol_name:
ABSTRACT_STRING
):
BOOLEAN
protocol
(a_protocol_name:
ABSTRACT_STRING
):
PROTOCOL
recycle
(a_protocol:
PROTOCOL
)
{}
factories
:
DICTIONARY
[
FUNCTION
[
TUPLE
,
PROTOCOL
],
FIXED_STRING
]
init
new_http
(name:
FIXED_STRING
, port:
INTEGER_32
):
HTTP_PROTOCOL
new_file
:
FILE_PROTOCOL
Protocol reuse
{}
unused
:
HASHED_DICTIONARY
[
RECYCLING_POOL
[
PROTOCOL
],
FIXED_STRING
]
unused_protocols
(a_protocol_name:
FIXED_STRING
):
RECYCLING_POOL
[
PROTOCOL
]
Creation
{}
default_create
Default creation method.
register_protocol_factory
(a_protocol_name:
ABSTRACT_STRING
, a_factory:
FUNCTION
[
TUPLE
,
PROTOCOL
])
effective procedure
{
ANY
}
top
require
a_protocol_name.count > 0
not
known_protocol
(a_protocol_name)
ensure
known_protocol
(a_protocol_name)
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
a_protocol_name.count > 0
known_protocol
(a_protocol_name)
ensure
not Result.is_connected
recycle
(a_protocol:
PROTOCOL
)
effective procedure
{
ANY
}
top
require
not a_protocol.is_connected
factories
:
DICTIONARY
[
FUNCTION
[
TUPLE
,
PROTOCOL
],
FIXED_STRING
]
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
unused
:
HASHED_DICTIONARY
[
RECYCLING_POOL
[
PROTOCOL
],
FIXED_STRING
]
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.