Eiffeldoc: TIME_EVENTS

+

Point of view

All features

expanded class TIME_EVENTS

Summary

Direct parents: Insert list: ANY

Overview

Features

timeout (timeout_ms: INTEGER_32): TIMEOUT_EVENT

timeout_ms is the max time in milliseconds to wait, starting from when EVENTS_SET.wait is called.
in_time (timeout_ms: INTEGER_32): DATE_EVENT

timeout_ms is the maximum time in milliseconds to wait starting from now on.
at_date (date: MICROSECOND_TIME): DATE_EVENT

date is the latest moment wait can wait.

{}

item (events: FAST_ARRAY[WEAK_REFERENCE[TIME_EVENT]]): TIME_EVENT

{}

timeout (timeout_ms: INTEGER_32): TIMEOUT_EVENT

effective function

timeout_ms is the max time in milliseconds to wait, starting from when EVENTS_SET.wait is called.

in_time (timeout_ms: INTEGER_32): DATE_EVENT

effective function

timeout_ms is the maximum time in milliseconds to wait starting from now on.

at_date (date: MICROSECOND_TIME): DATE_EVENT

effective function

date is the latest moment wait can wait.

item (events: FAST_ARRAY[WEAK_REFERENCE[TIME_EVENT]]): TIME_EVENT

effective function

{}

ensure

Result /= Void implies not Result.is_expected
Result = Void implies empty_slot = -1 or else events.item(empty_slot) = Void

timeout_events: FAST_ARRAY[WEAK_REFERENCE[TIMEOUT_EVENT]]

once function

{}

date_events: FAST_ARRAY[WEAK_REFERENCE[DATE_EVENT]]

once function

{}

empty_slot: INTEGER_32

writable attribute

{}