class DATE_EVENT
Summary
Overview
creation features
features
expect (events: EVENTS_SET)
effective procedure
occurred (events: EVENTS_SET): BOOLEAN
effective function
expiration: MICROSECOND_TIME
writable attribute
in_time (timeout_ms: INTEGER_32)
effective procedure
timeout_ms is the maximum time in milliseconds to wait from now.
at_date (date: MICROSECOND_TIME)
effective procedure
date is the last moment wait can wait.
make
effective procedure
expected (events: EVENTS_SET): BOOLEAN
effective function
True if the event is expected by the events set
is_expected: BOOLEAN
effective function
True if the event is expected by any EVENTS_SET
reset (events: EVENTS_SET)
effective procedure
set_expected (events: EVENTS_SET)
effective procedure
set_expected_ (events: EVENTS_SET): BOOLEAN
effective function
unset_expected_ (events: EVENTS_SET): BOOLEAN
effective function
expected_array: FAST_ARRAY[EVENTS_SET]
writable attribute