home
wiki
classes/clusters list
class information
+
Point of view
ANY
ANY
EVENTS_SET
INTERNALS_HANDLER
All features
deferred class TIME_EVENT
Summary
top
An object that is managed by
TIME_EVENTS
.
Direct parents
inherit list:
EVENT_DESCRIPTOR
Known children
inherit list:
DATE_EVENT
,
TIMEOUT_EVENT
Overview
top
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