home
wiki
classes/clusters list
class information
+
Point of view
TIME_EVENTS
ANY
TIME_EVENTS
EVENTS_SET
INTERNALS_HANDLER
All features
class DATE_EVENT
Summary
top
Event: a timeout occurred
Direct parents
inherit list:
TIME_EVENT
Overview
top
creation features
make
exported features
expiration
:
MICROSECOND_TIME
in_time
(timeout_ms:
INTEGER_32
)
timeout_ms
is the maximum time in milliseconds to wait from now.
at_date
(date:
MICROSECOND_TIME
)
date
is the last moment
wait
can wait.
expected
(events:
EVENTS_SET
):
BOOLEAN
True if the event is expected by the
events
set
is_expected
:
BOOLEAN
True if the event is expected by any
EVENTS_SET
expiration
:
MICROSECOND_TIME
writable attribute
top
in_time
(timeout_ms:
INTEGER_32
)
effective procedure
top
timeout_ms
is the maximum time in milliseconds to wait from now.
require
not
is_expected
timeout_ms >= 0
at_date
(date:
MICROSECOND_TIME
)
effective procedure
top
date
is the last moment
wait
can wait.
require
not
is_expected
expected
(events:
EVENTS_SET
):
BOOLEAN
effective function
top
True if the event is expected by the
events
set
ensure
Result implies
is_expected
is_expected
:
BOOLEAN
effective function
top
True if the event is expected by any
EVENTS_SET