+
Point of view
All features
class EZMQ_POLL_INPUT
Summary
Direct parents
Inherit list: EZMQ_POLL_INOUT
Class invariant
Overview
register (hub: EZMQ_HUB)
effective procedure
effective procedure
{}
require
  • a_socket /= Void
  • a_action /= Void
ensure
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