class EZMQ_HUB_ZMQ
Summary
The standard ZMQ implementation of the EZMQ hub
Direct parents
Inherit list: EZMQ_HUB
Insert list: TIME_HANDLER
Class invariant
Overview
is_running: BOOLEAN
writable attribute
{ANY}
run (data: EZMQ_DATA)
effective procedure
{ANY}
stop
effective procedure
{ANY}
register_socket (socket: EZMQ_SOCKET, zmq_socket: POINTER)
effective procedure
require
  • socket.is_valid
  • zmq_socket.is_not_null
register_input (input: EZMQ_POLL_INPUT)
effective procedure
require
  • input /= Void
register_output (output: EZMQ_POLL_OUTPUT)
effective procedure
require
  • output /= Void
register_timeout (a_timeout: EZMQ_POLL_TIMEOUT)
effective procedure
require
  • a_timeout /= Void
manifest_semicolon_check: BOOLEAN
is False
constant attribute
{}
manifest_make (needed_capacity: INTEGER_32)
effective procedure
{}
require
  • needed_capacity > 0
manifest_put (index: INTEGER_32, action: EZMQ_POLLABLE)
effective procedure
{}
require
  • action /= Void
on_stop (hub: EZMQ_HUB, socket: EZMQ_SOCKET, message: ABSTRACT_STRING, data: EZMQ_DATA): BOOLEAN
effective function
{}
require
  • hub = Current
capacity: INTEGER_32
writable attribute
{}
writable attribute
{}
pollitems: EZMQ_ZMQ_POLLITEMS
writable attribute
{}
writable attribute
{}
running: BOOLEAN
writable attribute
{}
stop_address: ABSTRACT_STRING
writable attribute
{}
writable attribute
{}
writable attribute
{}
pollitem_on_input (s: POINTER, msg: POINTER, data: EZMQ_DATA)
effective procedure
{}
pollitem_on_output (s: POINTER, data: EZMQ_DATA): POINTER
effective function
{}
pollitem_on_timeout (data: EZMQ_DATA)
effective procedure
{}