Eiffeldoc: EZMQ_POLL_INPUT

+

Point of view

All features

class EZMQ_POLL_INPUT

Summary

Direct parents: Inherit list: EZMQ_POLL_INOUT

Class invariant

action /= Void
socket /= Void
event.is_valid

Overview

Creation features

make (a_socket: EZMQ_SOCKET, a_action: FUNCTION[TUPLE 4[EZMQ_HUB, EZMQ_SOCKET, ABSTRACT_STRING, EZMQ_DATA], BOOLEAN])

Features

register (hub: EZMQ_HUB)
action: FUNCTION[TUPLE 4[EZMQ_HUB, EZMQ_SOCKET, ABSTRACT_STRING, EZMQ_DATA], BOOLEAN]

{}

make (a_socket: EZMQ_SOCKET, a_action: FUNCTION[TUPLE 4[EZMQ_HUB, EZMQ_SOCKET, ABSTRACT_STRING, EZMQ_DATA], BOOLEAN])

event: EZMQ_EVENT
socket: EZMQ_SOCKET

{}

make0 (a_socket: EZMQ_SOCKET, a_event: EZMQ_EVENT)

register (hub: EZMQ_HUB)

effective procedure

action: FUNCTION[TUPLE 4[EZMQ_HUB, EZMQ_SOCKET, ABSTRACT_STRING, EZMQ_DATA], BOOLEAN]

writable attribute

make (a_socket: EZMQ_SOCKET, a_action: FUNCTION[TUPLE 4[EZMQ_HUB, EZMQ_SOCKET, ABSTRACT_STRING, EZMQ_DATA], BOOLEAN])

effective procedure

{}

require

a_socket /= Void
a_action /= Void

ensure

socket = a_socket
action = a_action
event.is_equal(event.Pollin)

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)