+
Point of view
TIME_EVENT
class EVENTS_SET
Summary
top
Overview
top
creation features
exported features
Expected events
queryable: BOOLEAN
writable attribute
top
At creation this object is not queryable.
reset
effective procedure
top
Reset the event descriptors.
wait
effective procedure
top
Blocks until requested condition (max time and/or data).
expect (event: EVENT_DESCRIPTOR)
effective procedure
top
wait will return if that event happens.
event_occurred (event: EVENT_DESCRIPTOR): BOOLEAN
effective function
top
True if wait returned because that event happened.
after (timeout_ms: INTEGER_32)
effective procedure
top
timeout_ms is the max time in milliseconds to wait when wait begin.
at (date: MICROSECOND_TIME)
effective procedure
top
date is the last moment wait can wait.
when_data (file: INPUT_STREAM)
effective procedure
top
is_data (file: INPUT_STREAM): BOOLEAN
effective function
top
when_connection (server: SOCKET_SERVER)
effective procedure
top
is_connection (server: SOCKET_SERVER): BOOLEAN
effective function
top
when_free (file: OUTPUT_STREAM)
effective procedure
top
is_free (file: OUTPUT_STREAM): BOOLEAN
effective function
top
current_time: MICROSECOND_TIME
effective function
top
event_expected (a_event: EVENT_DESCRIPTOR): BOOLEAN
effective function
top
True in check modes if the event is expected.