home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
INTERNALS_HANDLER
All features
expanded class TIME_EVENTS
Summary
top
Direct parents
insert list:
ANY
Overview
top
features
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.
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
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
top
timeout_ms
is the maximum time in milliseconds to wait starting from now.
at_date
(date:
MICROSECOND_TIME
):
DATE_EVENT
effective function
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