GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
DATE_EVENT
+
Point of view
All features
ANY
EVENTS_SET
TIME_EVENTS
All features
class DATE_EVENT
Summary
top
Event: a timeout occurred
Direct parents
Inherit list:
TIME_EVENT
Overview
top
Creation features
{
TIME_EVENTS
}
make
Features
{
EVENTS_SET
}
expect
(events:
EVENTS_SET
)
occurred
(events:
EVENTS_SET
):
BOOLEAN
{
TIME_EVENTS
}
expiration
:
MICROSECOND_TIME
in_time
(timeout_ms:
INTEGER_32
)
timeout_ms
is the maximum time in milliseconds to wait from now.
at_date
(date:
MICROSECOND_TIME
)
date
is the last moment
wait
can wait.
{}
make
{
ANY
}
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
{
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
]
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
expiration
:
MICROSECOND_TIME
writable attribute
{
TIME_EVENTS
}
top
in_time
(timeout_ms:
INTEGER_32
)
effective procedure
{
TIME_EVENTS
}
top
timeout_ms
is the maximum time in milliseconds to wait from now.
require
not
is_expected
timeout_ms >= 0
at_date
(date:
MICROSECOND_TIME
)
effective procedure
{
TIME_EVENTS
}
top
date
is the last moment
wait
can wait.
require
not
is_expected
make
effective procedure
{}
top
expected
(events:
EVENTS_SET
):
BOOLEAN
effective function
{
ANY
}
top
True if the event is expected by the
events
set
ensure
Result implies
is_expected
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
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