+
Point of view
All features
deferred class EVENTS_EXPECTER
Summary
Direct parents
Insert list: ANY
Overview
Features
{EVENTS_SET}
expect (read_set: POINTER, write_set: POINTER, exception_set: POINTER)
deferred procedure
Fill the sets
require
  • read_set.is_not_null
  • write_set.is_not_null
  • exception_set.is_not_null
expected_read: BOOLEAN
deferred function
True if some input file descriptors are set
expected_write: BOOLEAN
deferred function
True if some output file descriptors are set
expected_exception: BOOLEAN
deferred function
True if some exception file descriptors are set
expected_highest: INTEGER_32
deferred function
The highest set file descriptor
happened (read_set: POINTER, write_set: POINTER, exception_set: POINTER): BOOLEAN
deferred function
Check the sets
require
  • read_set.is_not_null
  • write_set.is_not_null
  • exception_set.is_not_null