+
Point of view
All features
class CAN_WRITE_DATA_TO_STREAM
Summary
top
Event: some data can be written to output_stream
Direct parents
Inherit list: EVENT_DESCRIPTOR
Overview
top
Creation features
{OUTPUT_STREAM}
Features
{EVENTS_SET}
{}
{ANY}
{EVENTS_SET}
{}
expect (events: EVENTS_SET)
effective procedure
{EVENTS_SET}
top
occurred (events: EVENTS_SET): BOOLEAN
effective function
{EVENTS_SET}
top
output_stream: OUTPUT_STREAM
writable attribute
{}
top
make (a_output_stream: OUTPUT_STREAM)
effective procedure
{}
top
expected (events: EVENTS_SET): BOOLEAN
effective function
{ANY}
top
True if the event is expected by the events set
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
set_expected (events: EVENTS_SET)
effective procedure
{}
top
set_expected_ (events: EVENTS_SET): BOOLEAN
effective function
{}
top
unset_expected_ (events: EVENTS_SET): BOOLEAN
effective function
{}
top
expected_array: FAST_ARRAY[EVENTS_SET]
writable attribute
{}
top