Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

em.network

Class EM_NETWORK_CONSTANTS


Known direct descendants

EM_NETWORK_HELPER_FUNCTIONS, EM_SIMPLE_UDP_SOCKET, EM_UDP_PACKET, EM_INET_SOCKET_ADDRESS, EM_UDP_SOCKET, EM_INET_ADDRESS, EM_NET_PROTOCOL, EM_NET_OBJECT

Features

Invariants

indexing

description

Constants for EiffelMedia Network

date

$Date: 2005/10/24 10:52:26 $

revision

$Revision: 1.19 $

class

EM_NETWORK_CONSTANTS

feature -- Access

cr: INTEGER

-- Carriage return character code

in_addr_any: INTEGER

-- Used for listening on all network interfaces

in_addr_broadcast: INTEGER

-- Used as destination when sending a message to all clients
-- on a subnet that allows broadcasts

in_addr_unresolved: INTEGER

-- Used for listening on all network interfaces

lf: INTEGER

-- Line feed character code

max_port_number: INTEGER

-- Highest valid value for a socket port

max_udp_packet_size: INTEGER

-- Maximum size of a UDP packet

min_port_number: INTEGER

-- Lowest valid value for a socket port

max_serialization_byte_count: INTEGER_REF

-- max serialization count

set_max_serialization_byte_count (a_count: INTEGER)

-- Set max_serialization_count to a_count.
-- If UDP is used this value should be *less* than Max_udp_packet_size.

ensure
max_serialization_byte_count_set: max_serialization_byte_count.item = a_count

invariant

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end