+
Point of view
All features
expanded class EZMQ_TYPE
Summary
top
Direct parents
Insert list: HASHABLE
Overview
top
Features
{ANY}
The only valid values:
{ANY}
{ANY}
{EZMQ_TYPE}
{}
{}
value_of (a_type: INTEGER_32): EZMQ_TYPE
effective function
{ANY}
top
ensure
Req: EZMQ_TYPE
once function
{ANY}
top
ZMQ_REQ
Rep: EZMQ_TYPE
once function
{ANY}
top
ZMQ_REP
Dealer: EZMQ_TYPE
once function
{ANY}
top
ZMQ_DEALER
Router: EZMQ_TYPE
once function
{ANY}
top
ZMQ_ROUTER
Pub: EZMQ_TYPE
once function
{ANY}
top
ZMQ_PUB
Sub: EZMQ_TYPE
once function
{ANY}
top
ZMQ_SUB
Xpub: EZMQ_TYPE
once function
{ANY}
top
ZMQ_XPUB
Xsub: EZMQ_TYPE
once function
{ANY}
top
ZMQ_XSUB
Push: EZMQ_TYPE
once function
{ANY}
top
ZMQ_PUSH
Pull: EZMQ_TYPE
once function
{ANY}
top
ZMQ_PULL
Pair: EZMQ_TYPE
once function
{ANY}
top
ZMQ_PAIR
Stream: EZMQ_TYPE
once function
{ANY}
top
ZMQ_STREAM
require
has_stream: BOOLEAN
once function
{ANY}
top
peers: SET[EZMQ_TYPE]
writable attribute
{ANY}
top
require ensure
  • Result /= Void
is_valid: BOOLEAN
effective function
{ANY}
top
type: INTEGER_32
writable attribute
{ANY}
top
can_send: BOOLEAN
writable attribute
{ANY}
top
can_receive: BOOLEAN
writable attribute
{ANY}
top
hash_code: INTEGER_32
effective function
{ANY}
top
The hash-code value of Current.
ensure
  • good_hash_value: Result >= 0
is_equal (other: EZMQ_TYPE): 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)
make (a_type: INTEGER_32, cs: BOOLEAN, cr: BOOLEAN)
effective procedure
{EZMQ_TYPE}
top
require
  • a_type /= 0
ensure
set_peers (a_peers: SET[EZMQ_TYPE])
effective procedure
{EZMQ_TYPE}
top
default_create
effective procedure
{}
top
Default creation method.
It is used when no creation method is specified if allowed. Note it may be renamed.
init
once procedure
{}
top
map: HASHED_DICTIONARY[EZMQ_TYPE, INTEGER_32]
once function
{}
top
Type_req: INTEGER_32
{}
top
Type_rep: INTEGER_32
{}
top
Type_dealer: INTEGER_32
{}
top
Type_router: INTEGER_32
{}
top
Type_pub: INTEGER_32
{}
top
Type_sub: INTEGER_32
{}
top
Type_xpub: INTEGER_32
{}
top
Type_xsub: INTEGER_32
{}
top
Type_push: INTEGER_32
{}
top
Type_pull: INTEGER_32
{}
top
Type_pair: INTEGER_32
{}
top
Type_stream: INTEGER_32
{}
top