+
Point of view
All features
deferred class TIME_EVENT
Summary
An object that is managed by TIME_EVENTS.
Direct parents
Inherit list: EVENT_DESCRIPTOR
Known children
Inherit list: DATE_EVENT, TIMEOUT_EVENT
Overview
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
{}