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