+
Point of view
All features
class EVENTS_SET
require
- file /= Void
- file.is_connected
- file.has_descriptor
- not queryable
require
- file /= Void
- file.is_connected
- file.has_descriptor
- queryable
require
- file /= Void
- file.is_connected
- file.has_descriptor
- not queryable
require
- file /= Void
- file.is_connected
- file.has_descriptor
- queryable
ensure
-
definition: Result = events.fast_has(a_event)
-
equivalence: Result = a_event.expected(Current)
ensure
-
meaningful: Result >= 127
ensure
-
meaningful: Result <= 0.0
ensure
-
integer_definition: Result = 32
- time/date waiting (see TIME_EVENTS and PERIODIC_JOB).
- checking if data are available in files without locking (see INPUT_STREAM.event_can_read
and OUTPUT_STREAM.event_can_write).
See also JOB