home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
TIME_EVENTS
EVENTS_SET
INTERNALS_HANDLER
All features
class TIMEOUT_EVENT
Summary
top
Event: a timeout occurred
Direct parents
inherit list:
TIME_EVENT
Overview
top
creation features
make
features
set_timeout
(timeout_ms:
INTEGER_32
)
timeout_ms
is the max time in milliseconds to wait when the
EVENTS_SET
.wait begins.
expect
(events:
EVENTS_SET
)
occurred
(events:
EVENTS_SET
):
BOOLEAN
timeout
:
INTEGER_32
make
expected
(events:
EVENTS_SET
):
BOOLEAN
True if the event is expected by the
events
set
is_expected
:
BOOLEAN
True if the event is expected by any
EVENTS_SET
reset
(events:
EVENTS_SET
)
set_expected
(events:
EVENTS_SET
)
set_expected_
(events:
EVENTS_SET
):
BOOLEAN
unset_expected_
(events:
EVENTS_SET
):
BOOLEAN
expected_array
:
FAST_ARRAY
[
EVENTS_SET
]
set_timeout
(timeout_ms:
INTEGER_32
)
effective procedure
top
timeout_ms
is the max time in milliseconds to wait when the
EVENTS_SET
.wait begins.
require
not
is_expected
timeout
>= 0
ensure
timeout
= timeout_ms
expect
(events:
EVENTS_SET
)
effective procedure
top
require
not expected(events)
events /= Void
ensure
expected(events)
occurred
(events:
EVENTS_SET
):
BOOLEAN
effective function
top
require
expected(events)
events /= Void
timeout
:
INTEGER_32
writable attribute
top
make
effective procedure
top
expected
(events:
EVENTS_SET
):
BOOLEAN
effective function
top
True if the event is expected by the
events
set
ensure
Result implies
is_expected
is_expected
:
BOOLEAN
effective function
top
True if the event is expected by any
EVENTS_SET
reset
(events:
EVENTS_SET
)
effective procedure
top
require
expected
(events)
action:
unset_expected_
(events)
ensure
not
expected
(events)
set_expected
(events:
EVENTS_SET
)
effective procedure
top
require
not
expected
(events)
action:
set_expected_
(events)
ensure
expected
(events)
set_expected_
(events:
EVENTS_SET
):
BOOLEAN
effective function
top
require
not
expected
(events)
ensure
expected
(events)
Result
unset_expected_
(events:
EVENTS_SET
):
BOOLEAN
effective function
top
require
expected
(events)
ensure
not
expected
(events)
Result
expected_array
:
FAST_ARRAY
[
EVENTS_SET
]
writable attribute
top