+
Point of view
All features
class TIMEOUT_EVENT
Summary
top
Event: a timeout occurred
Direct parents
Inherit list: TIME_EVENT
Overview
top
Creation features
{TIME_EVENTS}
Features
{TIME_EVENTS}
{EVENTS_SET}
{}
{ANY}
{EVENTS_SET}
{}
set_timeout (timeout_ms: INTEGER_32)
effective procedure
{TIME_EVENTS}
top
timeout_ms is the max time in milliseconds to wait when the EVENTS_SET.wait begins.
require ensure
expect (events: EVENTS_SET)
effective procedure
{EVENTS_SET}
top
require
  • not expected(events)
  • events /= Void
ensure
  • expected(events)
occurred (events: EVENTS_SET): BOOLEAN
effective function
{EVENTS_SET}
top
require
  • expected(events)
  • events /= Void
timeout: INTEGER_32
writable attribute
{}
top
make
effective procedure
{}
top
expected (events: EVENTS_SET): BOOLEAN
effective function
{ANY}
top
True if the event is expected by the events set
ensure
is_expected: BOOLEAN
effective function
{ANY}
top
True if the event is expected by any EVENTS_SET
reset (events: EVENTS_SET)
effective procedure
{EVENTS_SET}
top
require ensure
set_expected (events: EVENTS_SET)
effective procedure
{}
top
require ensure
set_expected_ (events: EVENTS_SET): BOOLEAN
effective function
{}
top
require ensure
unset_expected_ (events: EVENTS_SET): BOOLEAN
effective function
{}
top
require ensure
expected_array: FAST_ARRAY[EVENTS_SET]
writable attribute
{}
top