home
wiki
classes/clusters list
class information
+
Point of view
INTERNALS_HANDLER
ANY
EVENTS_SET
INTERNALS_HANDLER
All features
deferred class EVENT_DESCRIPTOR
Summary
top
An event that can happen, managed by the
EVENTS_SET
.
Direct parents
insert list:
ANY
Known children
inherit list:
CAN_READ_DATA_FROM_STREAM
,
CAN_WRITE_DATA_TO_STREAM
,
NETWORK_CONNECTION_OCCURRED
,
TIME_EVENT
Overview
top
exported features
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
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