GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EZMQ_ENDPOINT_ZMQ
+
Point of view
All features
ANY
EZMQ
All features
class EZMQ_ENDPOINT_ZMQ
Summary
top
Direct parents
Inherit list:
EZMQ_ENDPOINT
Insert list:
EZMQ
Overview
top
Creation features
{
ANY
}
tcp
(address:
ABSTRACT_STRING
, port:
INTEGER_32
)
ipc
(name:
ABSTRACT_STRING
)
inproc
(name:
ABSTRACT_STRING
)
pgm
(interface:
ABSTRACT_STRING
, address:
ABSTRACT_STRING
, port:
INTEGER_32
)
epgm
(interface:
ABSTRACT_STRING
, address:
ABSTRACT_STRING
, port:
INTEGER_32
)
Features
{
EZMQ
}
to_external
:
POINTER
{}
tcp
(address:
ABSTRACT_STRING
, port:
INTEGER_32
)
ipc
(name:
ABSTRACT_STRING
)
inproc
(name:
ABSTRACT_STRING
)
pgm
(interface:
ABSTRACT_STRING
, address:
ABSTRACT_STRING
, port:
INTEGER_32
)
epgm
(interface:
ABSTRACT_STRING
, address:
ABSTRACT_STRING
, port:
INTEGER_32
)
impl
:
EZMQ_ENDPOINT_IMPL
to_external
:
POINTER
effective function
{
EZMQ
}
top
tcp
(address:
ABSTRACT_STRING
, port:
INTEGER_32
)
effective procedure
{}
top
require
address /= Void
port > 0
ipc
(name:
ABSTRACT_STRING
)
effective procedure
{}
top
require
name /= Void
inproc
(name:
ABSTRACT_STRING
)
effective procedure
{}
top
require
name /= Void
pgm
(interface:
ABSTRACT_STRING
, address:
ABSTRACT_STRING
, port:
INTEGER_32
)
effective procedure
{}
top
require
interface /= Void
address /= Void
port > 0
epgm
(interface:
ABSTRACT_STRING
, address:
ABSTRACT_STRING
, port:
INTEGER_32
)
effective procedure
{}
top
require
interface /= Void
address /= Void
port > 0
impl
:
EZMQ_ENDPOINT_IMPL
writable attribute
{}
top