GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EVENTS_EXPECTER
+
Point of view
All features
ANY
EVENTS_SET
All features
deferred class EVENTS_EXPECTER
Summary
top
Direct parents
Insert list:
ANY
Overview
top
Features
{
EVENTS_SET
}
expect
(read_set:
POINTER
, write_set:
POINTER
, exception_set:
POINTER
)
Fill the sets
expected_read
:
BOOLEAN
True if some input file descriptors are set
expected_write
:
BOOLEAN
True if some output file descriptors are set
expected_exception
:
BOOLEAN
True if some exception file descriptors are set
expected_highest
:
INTEGER_32
The highest set file descriptor
happened
(read_set:
POINTER
, write_set:
POINTER
, exception_set:
POINTER
):
BOOLEAN
Check the sets
expect
(read_set:
POINTER
, write_set:
POINTER
, exception_set:
POINTER
)
deferred procedure
{
EVENTS_SET
}
top
Fill the sets
require
read_set.is_not_null
write_set.is_not_null
exception_set.is_not_null
expected_read
:
BOOLEAN
deferred function
{
EVENTS_SET
}
top
True if some input file descriptors are set
expected_write
:
BOOLEAN
deferred function
{
EVENTS_SET
}
top
True if some output file descriptors are set
expected_exception
:
BOOLEAN
deferred function
{
EVENTS_SET
}
top
True if some exception file descriptors are set
expected_highest
:
INTEGER_32
deferred function
{
EVENTS_SET
}
top
The highest set file descriptor
happened
(read_set:
POINTER
, write_set:
POINTER
, exception_set:
POINTER
):
BOOLEAN
deferred function
{
EVENTS_SET
}
top
Check the sets
require
read_set.is_not_null
write_set.is_not_null
exception_set.is_not_null