+
Point of view
All features
deferred class EVENT_DESCRIPTOR
Summary
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, STREAM_EXCEPTION, TIME_EVENT
Overview
Features
{ANY}
{EVENTS_SET}
{}
expected (events: EVENTS_SET): BOOLEAN
effective function
{ANY}
True if the event is expected by the events set
ensure
is_expected: BOOLEAN
effective function
{ANY}
True if the event is expected by any EVENTS_SET
expect (events: EVENTS_SET)
deferred procedure
require ensure
occurred (events: EVENTS_SET): BOOLEAN
deferred function
require
reset (events: EVENTS_SET)
effective procedure
require ensure
set_expected (events: EVENTS_SET)
effective procedure
{}
require ensure
set_expected_ (events: EVENTS_SET): BOOLEAN
effective function
{}
require ensure
unset_expected_ (events: EVENTS_SET): BOOLEAN
effective function
{}
require ensure
expected_array: FAST_ARRAY[EVENTS_SET]
writable attribute
{}