+
Point of view
All features
class EVENTS_SET
require
- file /= Void
- file.is_connected
- file.has_descriptor
- not queryable
require
- file /= Void
- file.is_connected
- file.has_descriptor
- queryable
require
- file /= Void
- file.is_connected
- file.has_descriptor
- not queryable
require
- file /= Void
- file.is_connected
- file.has_descriptor
- queryable
ensure
-
definition: Result = events.fast_has(a_event)
-
equivalence: Result = a_event.expected(Current)
ensure
-
meaningful: Result >= 127
ensure
-
meaningful: Result <= 0.0
ensure
-
integer_definition: Result = 32