GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
TIME_EVENTS
+
Point of view
All features
ANY
All features
expanded class TIME_EVENTS
Summary
top
Direct parents
Insert list:
ANY
Overview
top
Features
{
ANY
}
timeout
(timeout_ms:
INTEGER_32
):
TIMEOUT_EVENT
timeout_ms
is the max time in milliseconds to wait, starting from when
EVENTS_SET
.wait is called.
in_time
(timeout_ms:
INTEGER_32
):
DATE_EVENT
timeout_ms
is the maximum time in milliseconds to wait starting from now on.
at_date
(date:
MICROSECOND_TIME
):
DATE_EVENT
date
is the latest moment
wait
can wait.
{}
item
(events:
FAST_ARRAY
[
WEAK_REFERENCE
[
TIME_EVENT
]]):
TIME_EVENT
{}
timeout_events
:
FAST_ARRAY
[
WEAK_REFERENCE
[
TIMEOUT_EVENT
]]
date_events
:
FAST_ARRAY
[
WEAK_REFERENCE
[
DATE_EVENT
]]
empty_slot
:
INTEGER_32
timeout
(timeout_ms:
INTEGER_32
):
TIMEOUT_EVENT
effective function
{
ANY
}
top
timeout_ms
is the max time in milliseconds to wait, starting from when
EVENTS_SET
.wait is called.
in_time
(timeout_ms:
INTEGER_32
):
DATE_EVENT
effective function
{
ANY
}
top
timeout_ms
is the maximum time in milliseconds to wait starting from now on.
at_date
(date:
MICROSECOND_TIME
):
DATE_EVENT
effective function
{
ANY
}
top
date
is the latest moment
wait
can wait.
item
(events:
FAST_ARRAY
[
WEAK_REFERENCE
[
TIME_EVENT
]]):
TIME_EVENT
effective function
{}
top
ensure
Result /= Void implies not Result.is_expected
Result = Void implies
empty_slot
= -1 or else events.item(
empty_slot
) = Void
timeout_events
:
FAST_ARRAY
[
WEAK_REFERENCE
[
TIMEOUT_EVENT
]]
once function
{}
top
date_events
:
FAST_ARRAY
[
WEAK_REFERENCE
[
DATE_EVENT
]]
once function
{}
top
empty_slot
:
INTEGER_32
writable attribute
{}
top