Eiffeldoc: EZMQ_ENDPOINT_EPGM

+

Point of view

All features

class EZMQ_ENDPOINT_EPGM

Summary

Direct parents: Inherit list: EZMQ_ENDPOINT_IMPL

Class invariant

ext.is_equal("#(1);#(2):#(3)" # interface # address # & port)

Overview

Creation features

make (a_interface: ABSTRACT_STRING, a_address: ABSTRACT_STRING, a_port: INTEGER_32)

Features

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

make (a_interface: ABSTRACT_STRING, a_address: ABSTRACT_STRING, a_port: INTEGER_32)

effective procedure

{}

interface: FIXED_STRING

writable attribute

{}

address: FIXED_STRING

writable attribute

{}

port: INTEGER_32

writable attribute

{}

ext: STRING

writable attribute

{}