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