+
Point of view
All features
class CAN_WRITE_DATA_TO_STREAM
require
- not expected(events)
- events /= Void
ensure
require
- expected(events)
- events /= Void
require
- not is_expected
- a_output_stream /= Void
- a_output_stream.is_connected
- a_output_stream.has_descriptor
ensure