+
Point of view
All features
class EZMQ_SOCKET_ZMQ_CONNECT
Summary
top
The standard ZMQ implementation of the EZMQ socket, using "zmq_connect()"
Direct parents
Inherit list: EZMQ_SOCKET_ZMQ
Class invariant
top
Overview
top
Creation features
{ANY}
Features
{}
{ANY}
{EZMQ_SOCKET_INPUT}
{EZMQ_POLLABLE}
{EZMQ_HUB}
{}
{ANY}
Exceptions
{ANY}
Exceptions
{}
ZMQ version
{ANY}
{}
Context
{}
Socket
{}
Transmission
{}
make (a_type: EZMQ_TYPE, a_endpoint: EZMQ_ENDPOINT)
effective procedure
{}
top
require
  • a_endpoint /= Void
endpoint: EZMQ_ENDPOINT
writable attribute
{ANY}
top
is_connected: BOOLEAN
writable attribute
{ANY}
top
input_event: EZMQ_SOCKET_INPUT
effective function
{ANY}
top
Only useful for event loops by using its event descriptor
hash_code: INTEGER_32
effective function
{ANY}
top
The hash-code value of Current.
ensure
  • good_hash_value: Result >= 0
is_valid: BOOLEAN
effective function
{ANY}
top
send (message: ABSTRACT_STRING, flags: EZMQ_FLAGS)
effective procedure
{ANY}
top
require
  • is_valid
  • is_connected
  • type.can_send
  • message /= Void
  • flags.is_valid
receive (capacity: INTEGER_32, flags: EZMQ_FLAGS)
effective procedure
{ANY}
top
require
  • is_valid
  • is_connected
  • type.can_receive
  • capacity > 0
  • flags.is_valid
last_received: STRING
writable attribute
{ANY}
top
require
  • is_connected
disconnect
effective procedure
{ANY}
top
require
  • is_connected
effective function
{EZMQ_SOCKET_INPUT}
top
can_read: BOOLEAN
effective function
{EZMQ_SOCKET_INPUT}
top
can_write: BOOLEAN
effective function
{EZMQ_SOCKET_INPUT}
top
register (hub: EZMQ_HUB)
effective procedure
{EZMQ_POLLABLE}
top
register_pollitems (pollitems: EZMQ_ZMQ_POLLITEMS, a_event: EZMQ_EVENT)
effective procedure
{EZMQ_HUB}
top
require
  • pollitems /= Void
  • a_event.is_valid
make0 (a_type: EZMQ_TYPE, a_endpoint: EZMQ_ENDPOINT)
effective procedure
{}
top
require
  • a_type.is_valid
  • a_endpoint /= Void
ensure
socket: POINTER
writable attribute
{}
top
input_event_memory: EZMQ_SOCKET_INPUT
writable attribute
{}
top
is_equal (other: EZMQ_SOCKET_ZMQ_CONNECT): BOOLEAN
effective function
{ANY}
top
Is other attached to an object considered equal to current object?
require
  • other /= Void
ensure
  • Result implies hash_code = other.hash_code
  • commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)
type: EZMQ_TYPE
writable attribute
{ANY}
top
effective procedure
{ANY}
top
on_receive_error (action: PROCEDURE[TUPLE 4[INTEGER_32, EZMQ_SOCKET, INTEGER_32, EZMQ_FLAGS]])
effective procedure
{ANY}
top
on_bind_error (action: PROCEDURE[TUPLE 3[INTEGER_32, EZMQ_TYPE, EZMQ_ENDPOINT]])
effective procedure
{ANY}
top
on_connect_error (action: PROCEDURE[TUPLE 3[INTEGER_32, EZMQ_TYPE, EZMQ_ENDPOINT]])
effective procedure
{ANY}
top
on_disconnect_error (action: PROCEDURE[TUPLE 2[INTEGER_32, EZMQ_SOCKET]])
effective procedure
{ANY}
top
on_poll_error (action: PROCEDURE[TUPLE 2[INTEGER_32, EZMQ_HUB]])
effective procedure
{ANY}
top
default_error (msg: STRING, res: INTEGER_32)
effective procedure
{}
top
once function
{}
top
effective function
{}
top
once function
{}
top
once function
{}
top
effective function
{}
top
default_receive_error_action: PROCEDURE[TUPLE 4[INTEGER_32, EZMQ_SOCKET, INTEGER_32, EZMQ_FLAGS]]
once function
{}
top
once function
{}
top
effective function
{}
top
default_bind_error_action: PROCEDURE[TUPLE 3[INTEGER_32, EZMQ_TYPE, EZMQ_ENDPOINT]]
once function
{}
top
once function
{}
top
effective function
{}
top
default_connect_error_action: PROCEDURE[TUPLE 3[INTEGER_32, EZMQ_TYPE, EZMQ_ENDPOINT]]
once function
{}
top
disconnect_error_action_ref: REFERENCE[PROCEDURE[TUPLE 2[INTEGER_32, EZMQ_SOCKET]]]
once function
{}
top
disconnect_error_action: PROCEDURE[TUPLE 2[INTEGER_32, EZMQ_SOCKET]]
effective function
{}
top
default_disconnect_error_action: PROCEDURE[TUPLE 2[INTEGER_32, EZMQ_SOCKET]]
once function
{}
top
poll_error_action_ref: REFERENCE[PROCEDURE[TUPLE 2[INTEGER_32, EZMQ_HUB]]]
once function
{}
top
poll_error_action: PROCEDURE[TUPLE 2[INTEGER_32, EZMQ_HUB]]
effective function
{}
top
default_poll_error_action: PROCEDURE[TUPLE 2[INTEGER_32, EZMQ_HUB]]
once function
{}
top
version_major: INTEGER_32
once function
{ANY}
top
version_minor: INTEGER_32
once function
{ANY}
top
version_patch: INTEGER_32
once function
{ANY}
top
version_major_ref: REFERENCE[INTEGER_32]
once function
{}
top
version_minor_ref: REFERENCE[INTEGER_32]
once function
{}
top
version_patch_ref: REFERENCE[INTEGER_32]
once function
{}
top
init_version
once procedure
{}
top
zmq_version (maj: POINTER, min: POINTER, pat: POINTER)
{}
top
context: POINTER
effective function
{}
top
start_context
effective procedure
{}
top
require
term_context
effective procedure
{}
top
require ensure
zmq_ctx_new: POINTER
{}
top
zmq_ctx_term (a_context: POINTER)
{}
top
context_ref: REFERENCE[POINTER]
once function
{}
top
zmq_socket (a_context: POINTER, type: INTEGER_32): POINTER
{}
top
zmq_bind (socket: POINTER, endpoint: POINTER): INTEGER_32
{}
top
zmq_connect (socket: POINTER, endpoint: POINTER): INTEGER_32
{}
top
zmq_close (socket: POINTER): INTEGER_32
{}
top
zmq_disconnect (socket: POINTER, endpoint: POINTER): INTEGER_32
{}
top
zmq_socket_fd (socket: POINTER): INTEGER_32
{}
top
zmq_socket_events (socket: POINTER): INTEGER_32
{}
top
zmq_send (socket: POINTER, buf: POINTER, len: INTEGER_32, flags: INTEGER_32): INTEGER_32
{}
top
zmq_receive (socket: POINTER, buf: POINTER, len: INTEGER_32, flags: INTEGER_32): INTEGER_32
{}
top