+
Point of view
All features
class CAN_READ_DATA_FROM_STREAM
Summary
Event: some data can be read from input_stream
Direct parents
Inherit list: EVENT_DESCRIPTOR
Overview
Creation features
{INPUT_STREAM}
Features
{EVENTS_SET}
{}
{ANY}
{EVENTS_SET}
{}
expect (events: EVENTS_SET)
effective procedure
require
  • not expected(events)
  • events /= Void
ensure
  • expected(events)
occurred (events: EVENTS_SET): BOOLEAN
effective function
require
  • expected(events)
  • events /= Void
input_stream: INPUT_STREAM
writable attribute
{}
make (a_input_stream: INPUT_STREAM)
effective procedure
{}
require
  • not is_expected
  • a_input_stream /= Void
  • a_input_stream.is_connected
  • a_input_stream.has_descriptor
ensure
expected (events: EVENTS_SET): BOOLEAN
effective function
{ANY}
True if the event is expected by the events set
ensure
is_expected: BOOLEAN
effective function
{ANY}
True if the event is expected by any EVENTS_SET
reset (events: EVENTS_SET)
effective procedure
require ensure
set_expected (events: EVENTS_SET)
effective procedure
{}
require ensure
set_expected_ (events: EVENTS_SET): BOOLEAN
effective function
{}
require ensure
unset_expected_ (events: EVENTS_SET): BOOLEAN
effective function
{}
require ensure
expected_array: FAST_ARRAY[EVENTS_SET]
writable attribute
{}