GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EZMQ_POLL_TIMEOUT
+
Point of view
All features
ANY
EZMQ_HUB
All features
class EZMQ_POLL_TIMEOUT
Summary
top
Direct parents
Inherit list:
EZMQ_POLLABLE
Class invariant
top
calc
/= Void
action
/= Void
Overview
top
Creation features
{
ANY
}
make
(a_calc:
FUNCTION
[
TUPLE 2
[
EZMQ_HUB
,
EZMQ_DATA
],
TIME
], a_action:
FUNCTION
[
TUPLE 2
[
EZMQ_HUB
,
EZMQ_DATA
],
BOOLEAN
])
Features
{
EZMQ_HUB
}
register
(hub:
EZMQ_HUB
)
calc
:
FUNCTION
[
TUPLE 2
[
EZMQ_HUB
,
EZMQ_DATA
],
TIME
]
action
:
FUNCTION
[
TUPLE 2
[
EZMQ_HUB
,
EZMQ_DATA
],
BOOLEAN
]
{}
make
(a_calc:
FUNCTION
[
TUPLE 2
[
EZMQ_HUB
,
EZMQ_DATA
],
TIME
], a_action:
FUNCTION
[
TUPLE 2
[
EZMQ_HUB
,
EZMQ_DATA
],
BOOLEAN
])
register
(hub:
EZMQ_HUB
)
effective procedure
{
EZMQ_HUB
}
top
calc
:
FUNCTION
[
TUPLE 2
[
EZMQ_HUB
,
EZMQ_DATA
],
TIME
]
writable attribute
{
EZMQ_HUB
}
top
action
:
FUNCTION
[
TUPLE 2
[
EZMQ_HUB
,
EZMQ_DATA
],
BOOLEAN
]
writable attribute
{
EZMQ_HUB
}
top
make
(a_calc:
FUNCTION
[
TUPLE 2
[
EZMQ_HUB
,
EZMQ_DATA
],
TIME
], a_action:
FUNCTION
[
TUPLE 2
[
EZMQ_HUB
,
EZMQ_DATA
],
BOOLEAN
])
effective procedure
{}
top
require
a_calc /= Void
a_action /= Void
ensure
calc
= a_calc
action
= a_action