GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EZMQ_POLL_OUTPUT
+
Point of view
All features
ANY
EZMQ_HUB
All features
class EZMQ_POLL_OUTPUT
Summary
top
Direct parents
Inherit list:
EZMQ_POLL_INOUT
Class invariant
top
socket /= Void
event.is_valid
Overview
top
Creation features
{
ANY
}
make
(a_socket:
EZMQ_SOCKET
, a_action:
FUNCTION
[
TUPLE 3
[
EZMQ_HUB
,
EZMQ_SOCKET
,
EZMQ_DATA
],
ABSTRACT_STRING
])
Features
{
EZMQ_HUB
}
register
(hub:
EZMQ_HUB
)
action
:
FUNCTION
[
TUPLE 3
[
EZMQ_HUB
,
EZMQ_SOCKET
,
EZMQ_DATA
],
ABSTRACT_STRING
]
{}
make
(a_socket:
EZMQ_SOCKET
, a_action:
FUNCTION
[
TUPLE 3
[
EZMQ_HUB
,
EZMQ_SOCKET
,
EZMQ_DATA
],
ABSTRACT_STRING
])
{
EZMQ_HUB
}
event
:
EZMQ_EVENT
socket
:
EZMQ_SOCKET
{}
make0
(a_socket:
EZMQ_SOCKET
, a_event:
EZMQ_EVENT
)
register
(hub:
EZMQ_HUB
)
effective procedure
{
EZMQ_HUB
}
top
action
:
FUNCTION
[
TUPLE 3
[
EZMQ_HUB
,
EZMQ_SOCKET
,
EZMQ_DATA
],
ABSTRACT_STRING
]
writable attribute
{
EZMQ_HUB
}
top
make
(a_socket:
EZMQ_SOCKET
, a_action:
FUNCTION
[
TUPLE 3
[
EZMQ_HUB
,
EZMQ_SOCKET
,
EZMQ_DATA
],
ABSTRACT_STRING
])
effective procedure
{}
top
require
a_socket /= Void
a_action /= Void
ensure
socket
= a_socket
action
= a_action
event
.is_equal(
event
.Pollout)
event
:
EZMQ_EVENT
writable attribute
{
EZMQ_HUB
}
top
socket
:
EZMQ_SOCKET
writable attribute
{
EZMQ_HUB
}
top
make0
(a_socket:
EZMQ_SOCKET
, a_event:
EZMQ_EVENT
)
effective procedure
{}
top
require
a_socket /= Void
a_event.is_valid
ensure
socket
= a_socket
event
.is_equal(a_event)