Eiffeldoc: EZMQ_POLL_INOUT

+

Point of view

All features

deferred class EZMQ_POLL_INOUT

Summary

Direct parents: Inherit list: EZMQ_POLLABLE
Known children: Inherit list: EZMQ_POLL_INPUT, EZMQ_POLL_OUTPUT

Class invariant

socket /= Void
event.is_valid

Overview

Features

event: EZMQ_EVENT
socket: EZMQ_SOCKET

{}

make0 (a_socket: EZMQ_SOCKET, a_event: EZMQ_EVENT)

register (hub: EZMQ_HUB)

event: EZMQ_EVENT

writable attribute

socket: EZMQ_SOCKET

writable attribute

make0 (a_socket: EZMQ_SOCKET, a_event: EZMQ_EVENT)

effective procedure

{}

require

a_socket /= Void
a_event.is_valid

ensure

socket = a_socket
event.is_equal(a_event)

register (hub: EZMQ_HUB)

deferred procedure