GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EZMQ_ENDPOINT_PGM
+
Point of view
All features
ANY
EZMQ
All features
class EZMQ_ENDPOINT_PGM
Summary
top
Direct parents
Inherit list:
EZMQ_ENDPOINT_IMPL
Class invariant
top
ext
.is_equal("#(1);#(2):#(3)" #
interface
#
address
# &
port
)
Overview
top
Creation features
{
EZMQ
}
make
(a_interface:
ABSTRACT_STRING
, a_address:
ABSTRACT_STRING
, a_port:
INTEGER_32
)
Features
{
EZMQ
}
to_external
:
POINTER
{}
make
(a_interface:
ABSTRACT_STRING
, a_address:
ABSTRACT_STRING
, a_port:
INTEGER_32
)
interface
:
FIXED_STRING
address
:
FIXED_STRING
port
:
INTEGER_32
ext
:
STRING
to_external
:
POINTER
effective function
{
EZMQ
}
top
make
(a_interface:
ABSTRACT_STRING
, a_address:
ABSTRACT_STRING
, a_port:
INTEGER_32
)
effective procedure
{}
top
interface
:
FIXED_STRING
writable attribute
{}
top
address
:
FIXED_STRING
writable attribute
{}
top
port
:
INTEGER_32
writable attribute
{}
top
ext
:
STRING
writable attribute
{}
top