Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
note description: "Network datagram sockets" legal: "See notice at end of class." status: "See notice at end of class." date: "$Date: 2020-05-19 06:37:01 -0800 (Tue, 19 May 2020) $" revision: "$Revision: 104262 $" class interface NETWORK_DATAGRAM_SOCKET create make_bound (a_port: INTEGER_32) -- Make a network datagram socket bound to its well -- known local address with port a_port. ensure timeout_set_to_default: is_default_timeout make_loopback_bound (a_port: INTEGER_32) -- Make a network datagram socket bound to its well -- known loopback address with port a_port. ensure timeout_set_to_default: is_default_timeout make_targeted (a_hostname: STRING_8; a_peer_port: INTEGER_32) -- Make a network datagram socket connected to -- hostname a_hostname and port a_port. ensure timeout_set_to_default: is_default_timeout feature -- Initialization make -- Make a network datagram socket. require -- from DATAGRAM_SOCKET True ensure then timeout_set_to_default: is_default_timeout make_bound (a_port: INTEGER_32) -- Make a network datagram socket bound to its well -- known local address with port a_port. ensure timeout_set_to_default: is_default_timeout make_loopback_bound (a_port: INTEGER_32) -- Make a network datagram socket bound to its well -- known loopback address with port a_port. ensure timeout_set_to_default: is_default_timeout make_targeted (a_hostname: STRING_8; a_peer_port: INTEGER_32) -- Make a network datagram socket connected to -- hostname a_hostname and port a_port. ensure timeout_set_to_default: is_default_timeout feature -- Access Check_instruction: INTEGER_32 = 7 -- Exception code for violated check -- (from EXCEP_CONST) Class_invariant: INTEGER_32 = 6 -- Exception code for violated class invariant -- (from EXCEP_CONST) Com_exception: INTEGER_32 = 28 -- Exception code for a COM error. -- (from EXCEP_CONST) Create_on_deferred: INTEGER_32 = 17 -- Create on deferred -- (from EXCEP_CONST) Developer_exception: INTEGER_32 = 24 -- Exception code for developer exception -- (from EXCEP_CONST) Dollar_applied_to_melted_feature: INTEGER_32 = 26 -- $ applied to melted feature -- (from EXCEP_CONST) Eiffel_runtime_fatal_error: INTEGER_32 = 25 -- Eiffel run-time fatal error -- (from EXCEP_CONST) Eiffel_runtime_panic: INTEGER_32 = 13 -- Eiffel run-time panic -- (from EXCEP_CONST) Exception_in_signal_handler: INTEGER_32 = 20 -- Exception in signal handler -- (from EXCEP_CONST) Exception_manager: EXCEPTION_MANAGER -- Exception manager -- (from EXCEPTION_MANAGER_FACTORY) ensure -- from EXCEPTION_MANAGER_FACTORY instance_free: class exception_manager_not_void: Result /= Void External_exception: INTEGER_32 = 18 -- Exception code for operating system error -- which does not set the errno variable -- (Unix-specific) -- (from EXCEP_CONST) Floating_point_exception: INTEGER_32 = 5 -- Exception code for floating point exception -- (from EXCEP_CONST) generating_type: TYPE [detachable NETWORK_DATAGRAM_SOCKET] -- Type of current object -- (type of which it is a direct instance) -- (from ANY) ensure -- from ANY generating_type_not_void: Result /= Void generator: STRING_8 -- Name of current object's generating class -- (base class of the type of which it is a direct instance) -- (from ANY) ensure -- from ANY generator_not_void: Result /= Void generator_not_empty: not Result.is_empty Incorrect_inspect_value: INTEGER_32 = 9 -- Exception code for inspect value which is not one -- of the inspect constants, if there is no Else_part -- (from EXCEP_CONST) Io_exception: INTEGER_32 = 21 -- Exception code for I/O error -- (from EXCEP_CONST) frozen is_ipv4_stack_preferred: BOOLEAN -- (from INET_PROPERTIES) frozen is_ipv6_available: BOOLEAN -- (from INET_PROPERTIES) Loop_invariant: INTEGER_32 = 11 -- Exception code for violated loop invariant -- (from EXCEP_CONST) Loop_variant: INTEGER_32 = 10 -- Exception code for non-decreased loop variant -- (from EXCEP_CONST) No_more_memory: INTEGER_32 = 2 -- Exception code for failed memory allocation -- (from EXCEP_CONST) Number_of_codes: INTEGER_32 = 31 -- How many codes are there to represent exceptions? -- (from EXCEP_CONST) Old_exception: INTEGER_32 = 30 -- Old exception code. -- (from EXCEP_CONST) Operating_system_exception: INTEGER_32 = 22 -- Exception code for operating system error -- which sets the errno variable -- (Unix-specific) -- (from EXCEP_CONST) Out_of_memory: INTEGER_32 = 15 -- Out of memory (cannot be ignored) -- (from EXCEP_CONST) Postcondition: INTEGER_32 = 4 -- Exception code for violated postcondition -- (from EXCEP_CONST) Precondition: INTEGER_32 = 3 -- Exception code for violated precondition -- (from EXCEP_CONST) Rescue_exception: INTEGER_32 = 14 -- Exception code for exception in rescue clause -- (from EXCEP_CONST) Resumption_failed: INTEGER_32 = 16 -- Resumption failed (retry did not succeed) -- (from EXCEP_CONST) Retrieve_exception: INTEGER_32 = 23 -- Exception code for retrieval error -- may be raised by `retrieved` in IO_MEDIUM. -- (from EXCEP_CONST) retrieved: detachable ANY -- Retrieved object structure -- To access resulting object under correct type, -- use assignment attempt. -- Will raise an exception (code `retrieve_exception`) -- if content is not a stored Eiffel structure. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable support_storable: support_storable Routine_failure: INTEGER_32 = 8 -- Exception code for failed routine -- (from EXCEP_CONST) Runtime_check_exception: INTEGER_32 = 29 -- Exception code for runtime check being violated. -- (from EXCEP_CONST) Runtime_io_exception: INTEGER_32 = 27 -- Exception code for I/O error raised by runtime functions -- such as store/retrieve, file access... -- (from EXCEP_CONST) Serialization_exception: INTEGER_32 = 31 -- Serialization exception code. -- (from EXCEP_CONST) frozen set_ipv4_stack_preferred (preference: BOOLEAN) -- (from INET_PROPERTIES) Signal_exception: INTEGER_32 = 12 -- Exception code for operating system signal -- (from EXCEP_CONST) valid_code (c: INTEGER_32): BOOLEAN -- Is c a valid code to represent some kind of exceptions? -- (from EXCEP_CONST) Void_assigned_to_expanded: INTEGER_32 = 19 -- Exception code for assignment of void value -- to expanded entity -- (from EXCEP_CONST) Void_call_target: INTEGER_32 = 1 -- Exception code for feature applied to void reference -- (from EXCEP_CONST) feature -- Comparison frozen deep_equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void -- or attached to isomorphic object structures? -- (from ANY) ensure -- from ANY instance_free: class shallow_implies_deep: standard_equal (a, b) implies Result both_or_none_void: (a = Void) implies (Result = (b = Void)) same_type: (Result and (a /= Void)) implies (b /= Void and then a.same_type (b)) symmetric: Result implies deep_equal (b, a) frozen equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void or attached -- to objects considered equal? -- (from ANY) ensure -- from ANY instance_free: class definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.is_equal (b)) frozen is_deep_equal alias "≡≡≡" (other: NETWORK_DATAGRAM_SOCKET): BOOLEAN -- Are Current and other attached to isomorphic object structures? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY shallow_implies_deep: standard_is_equal (other) implies Result same_type: Result implies same_type (other) symmetric: Result implies other.is_deep_equal (Current) is_equal (other: NETWORK_DATAGRAM_SOCKET): BOOLEAN -- Is other attached to an object considered -- equal to current object? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY symmetric: Result implies other ~ Current consistent: standard_is_equal (other) implies Result frozen standard_equal (a: detachable ANY; b: like arg #1): BOOLEAN -- Are a and b either both void or attached to -- field-by-field identical objects of the same type? -- Always uses default object comparison criterion. -- (from ANY) ensure -- from ANY instance_free: class definition: Result = (a = Void and b = Void) or else ((a /= Void and b /= Void) and then a.standard_is_equal (b)) frozen standard_is_equal alias "" (other: NETWORK_DATAGRAM_SOCKET): BOOLEAN -- Is other attached to an object of the same type -- as current object, and field-by-field identical to it? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY same_type: Result implies same_type (other) symmetric: Result implies other.standard_is_equal (Current) feature -- Status report address_in_use: BOOLEAN -- Address is in use by another socket. -- (from SOCKET_RESOURCES) address_not_readable: BOOLEAN -- Unreadable address -- (from SOCKET_RESOURCES) address_type: NETWORK_SOCKET_ADDRESS -- Type of `address` and `peer_address` -- (from NETWORK_SOCKET) require -- from SOCKET not_callable: False ensure -- from SOCKET for_typing_only: False already_bound: BOOLEAN -- Socket has already been bound. -- (from SOCKET_RESOURCES) assertion_violation: BOOLEAN -- Is last exception originally due to a violated -- assertion or non-decreasing variant? -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class bad_socket_handle: BOOLEAN -- Socket descriptor is bad. -- (from SOCKET_RESOURCES) bound: BOOLEAN -- Has socket been bound? -- (from DATAGRAM_SOCKET) broadcast_enabled: BOOLEAN -- Is broadcasting enabled? require valid_descriptor: exists bytes_read: INTEGER_32 -- Last number of bytes read by `read_to_managed_pointer`. -- (from IO_MEDIUM) class_name: detachable STRING_8 -- Name of the class that includes the recipient -- of original form of last exception -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class conforms_to (other: ANY): BOOLEAN -- Does type of current object conform to type -- of other (as per Eiffel: The Language, chapter 13)? -- (from ANY) require -- from ANY other_not_void: other /= Void connect_in_progress: BOOLEAN -- Call to connect returned on a non-blocking socket. -- (from SOCKET_RESOURCES) connection_refused: BOOLEAN -- Connection is refused (possibly due to security). -- (from SOCKET_RESOURCES) developer_exception_name: detachable STRING_8 -- Name of last developer-raised exception -- (from EXCEPTIONS) require -- from EXCEPTIONS applicable: is_developer_exception ensure -- from EXCEPTIONS instance_free: class dtable_full: BOOLEAN -- Descriptor table is full -- (from SOCKET_RESOURCES) error: STRING_8 -- Output a related error message. -- (from SOCKET) require -- from SOCKET_RESOURCES True error_number: INTEGER_32 -- Returned error number -- (from SOCKET_RESOURCES) exception: INTEGER_32 -- Code of last exception that occurred -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class exception_trace: detachable STRING_8 -- String representation of the exception trace -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class expired_socket: BOOLEAN -- Socket connection has expired. -- (from SOCKET_RESOURCES) has_exception_state: BOOLEAN -- Is socket in exception state within `timeout` seconds? -- (from NETWORK_SOCKET) require -- from NETWORK_SOCKET socket_exists: exists invalid_address: BOOLEAN -- Address is not valid. -- (from SOCKET_RESOURCES) invalid_socket_handle: BOOLEAN -- Socket descriptor is not valid. -- (from SOCKET_RESOURCES) is_bound: BOOLEAN -- (from NETWORK_SOCKET) is_closed: BOOLEAN -- Is socket closed? -- (from NETWORK_SOCKET) is_connected: BOOLEAN -- (from NETWORK_SOCKET) is_created: BOOLEAN -- (from NETWORK_SOCKET) is_default_timeout: BOOLEAN -- Is `timeout_ns` the default timeout? -- (from NETWORK_SOCKET) is_developer_exception: BOOLEAN -- Is the last exception originally due to -- a developer exception? -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class is_developer_exception_of_name (name: detachable STRING_8): BOOLEAN -- Is the last exception originally due to a developer -- exception of name `name`? -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class is_plain_text: BOOLEAN -- Is file reserved for text (character sequences)? -- (from IO_MEDIUM) is_signal: BOOLEAN -- Is last exception originally due to an external -- event (operating system signal)? -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class is_system_exception: BOOLEAN -- Is last exception originally due to an -- external event (operating system error)? -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class is_valid_family (addr: attached like address): BOOLEAN -- Is addr the same family as Current? -- (from NETWORK_SOCKET) require -- from SOCKET address_exists: addr /= Void is_valid_peer_address (addr: attached separate like address): BOOLEAN -- Is addr a valid peer address? -- (from NETWORK_SOCKET) require -- from SOCKET address_exists: addr /= Void last_character: CHARACTER_8 -- Last character read by `read_character`. -- (from IO_MEDIUM) last_double: REAL_64 -- Last double read by `read_double` -- (from IO_MEDIUM) last_integer: INTEGER_32 -- Last integer read by `read_integer` -- (from IO_MEDIUM) last_integer_16: INTEGER_16 -- Last 16-bit integer read by `read_integer_16` -- (from IO_MEDIUM) last_integer_32: INTEGER_32 -- Synonymy of `last_integer` -- (from IO_MEDIUM) last_integer_64: INTEGER_64 -- Last 64-bit integer read by `read_integer_64` -- (from IO_MEDIUM) last_integer_8: INTEGER_8 -- Last 8-bit integer read by `read_integer_8` -- (from IO_MEDIUM) last_natural: NATURAL_32 -- Last 32-bit natural read by `read_natural` -- (from IO_MEDIUM) last_natural_16: NATURAL_16 -- Last 16-bit natural read by `read_natural_16` -- (from IO_MEDIUM) last_natural_32: NATURAL_32 -- Synonymy of `last_natural` -- (from IO_MEDIUM) last_natural_64: NATURAL_64 -- Last 64-bit natural read by `read_natural_64` -- (from IO_MEDIUM) last_natural_8: NATURAL_8 -- Last 8-bit natural read by `read_natural_8` -- (from IO_MEDIUM) last_real: REAL_32 -- Last real read by `read_real` -- (from IO_MEDIUM) last_real_32: REAL_32 -- Last 32-bit real read by `read_real_32`. -- Synonym of `last_real`. -- (from IO_MEDIUM) last_real_64: REAL_64 -- Last 64-bit real read by `read_real_64`. -- Synonym of `last_double`. -- (from IO_MEDIUM) last_string: STRING_8 -- Last string read -- (from IO_MEDIUM) meaning (except: INTEGER_32): detachable STRING_8 -- A message in English describing what except is -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class network: BOOLEAN -- Socket failed due to network problems. -- (from SOCKET_RESOURCES) no_buffers: BOOLEAN -- No more buffers available -- (from SOCKET_RESOURCES) no_permission: BOOLEAN -- No permission is given to user for this socket. -- (from SOCKET_RESOURCES) not_connected: BOOLEAN -- Socket is not connect. -- (from SOCKET_RESOURCES) original_class_name: detachable STRING_8 -- Name of the class that includes the recipient -- of original form of last exception -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class original_exception: INTEGER_32 -- Original code of last exception that triggered -- current exception -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class original_recipient_name: detachable STRING_8 -- Name of the routine whose execution was -- interrupted by original form of last exception -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class original_tag_name: detachable STRING_8 -- Assertion tag for original form of last -- assertion violation. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class port: INTEGER_32 -- Port socket is bound to. -- (from NETWORK_SOCKET) protected_address: BOOLEAN -- No access to this address is allowed. -- (from SOCKET_RESOURCES) protocol_not_supported: BOOLEAN -- Protocol is not supported on this platform. -- (from SOCKET_RESOURCES) ready_for_reading: BOOLEAN -- Is data available for reading from the socket within -- `timeout` seconds? -- (from NETWORK_SOCKET) require -- from NETWORK_SOCKET socket_exists: exists ready_for_writing: BOOLEAN -- Can data be written to the socket within `timeout` seconds? -- (from NETWORK_SOCKET) require -- from NETWORK_SOCKET socket_exists: exists recipient_name: detachable STRING_8 -- Name of the routine whose execution was -- interrupted by last exception -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class reuse_address: BOOLEAN -- Is reuse_address option set? -- (from NETWORK_SOCKET) require -- from NETWORK_SOCKET socket_exists: exists same_type (other: ANY): BOOLEAN -- Is type of current object identical to type of other? -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY definition: Result = (conforms_to (other) and other.conforms_to (Current)) socket_family_not_supported: BOOLEAN -- Requested family is not supported. -- (from SOCKET_RESOURCES) socket_in_use: BOOLEAN -- Socket is already in use. -- (from SOCKET_RESOURCES) socket_ok: BOOLEAN -- No error -- (from SOCKET) require -- from SOCKET_RESOURCES True socket_would_block: BOOLEAN -- Call to read, write, etc would have blocked. -- (from SOCKET_RESOURCES) support_storable: BOOLEAN -- Can medium be used to store an Eiffel structure? -- (from SOCKET) tag_name: detachable STRING_8 -- Tag of last violated assertion clause -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class was_error: BOOLEAN -- Indicates that there was an error during the last operation -- (from SOCKET) zero_option: BOOLEAN -- No options provided -- (from SOCKET_RESOURCES) feature -- Status setting catch (code: INTEGER_32) -- Make sure that any exception of code code will be -- caught. This is the default. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class die (code: INTEGER_32) -- Terminate execution with exit status code, -- without triggering an exception. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS False instance_free: class disable_broadcast -- Disable broadcasting. require valid_descriptor: exists do_not_reuse_address -- Turn `reuse_address` option off. -- (from NETWORK_SOCKET) require -- from NETWORK_SOCKET socket_exists: exists enable_broadcast -- Enable broadcasting. require valid_descriptor: exists ignore (code: INTEGER_32) -- Make sure that any exception of code code will be -- ignored. This is not the default. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class message_on_failure -- Print an exception history table -- in case of failure. -- This is the default. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class no_message_on_failure -- Do not print an exception history table -- in case of failure. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class raise (name: detachable READABLE_STRING_GENERAL) -- Raise a developer exception of name `name`. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class raise_retrieval_exception (name: detachable READABLE_STRING_GENERAL) -- Raise a retrieval exception of name `name`. -- (from EXCEPTIONS) ensure -- from EXCEPTIONS instance_free: class received (size: INTEGER_32; flags: INTEGER_32): PACKET -- Receive a packet. -- Who from is put into the `peer_address`. require -- from DATAGRAM_SOCKET socket_exists: exists opened_for_read: is_open_read ensure -- from DATAGRAM_SOCKET known_address: peer_address /= Void send_to (a_packet: PACKET; to_address: SOCKET_ADDRESS; flags: INTEGER_32) -- Send a_packet to address to_address require -- from DATAGRAM_SOCKET socket_exists: exists opened_for_write: is_open_write valid_peer: to_address /= Void valid_packet: a_packet /= Void set_blocking -- Set socket to blocking mode. -- (from NETWORK_SOCKET) require -- from SOCKET socket_exists: exists ensure -- from SOCKET is_blocking set_default_timeout -- Set timeout to default. -- (from NETWORK_SOCKET) ensure -- from NETWORK_SOCKET timeout_set_to_default: is_default_timeout set_non_blocking -- Set socket to non-blocking mode. -- (from NETWORK_SOCKET) require -- from SOCKET socket_exists: exists ensure -- from SOCKET not is_blocking set_recv_timeout_ns (a_timeout_nanoseconds: NATURAL_64) -- Set the receive timeout with a_timeout_nanoseconds nanoseconds on Current socket. -- If 0 the related operations will never timeout. -- Warning: the timeout granularity of the platform may not be nanoseconds, but micro or milliseconds. -- (from NETWORK_SOCKET) require -- from NETWORK_SOCKET is_valid_timeout_ns: is_valid_timeout_ns (a_timeout_nanoseconds) set_reuse_address -- Turn `reuse_address` option on. -- (from NETWORK_SOCKET) require -- from NETWORK_SOCKET socket_exists: exists set_send_timeout_ns (a_timeout_nanoseconds: NATURAL_64) -- Set the send timeout with a_timeout_nanoseconds nanoseconds on Current socket. -- If 0 the related operations will never timeout. -- Warning: the timeout granularity of the platform may not be nanoseconds, but micro or milliseconds. -- (from NETWORK_SOCKET) require -- from NETWORK_SOCKET is_valid_timeout_ns: is_valid_timeout_ns (a_timeout_nanoseconds) set_timeout_ns (a_timeout_nanoseconds: NATURAL_64) -- Set timeout with to a_timeout_nanoseconds nanoseconds. -- Warning: the timeout granularity of the platform may not be nanoseconds, but micro or milliseconds. -- (from NETWORK_SOCKET) require -- from NETWORK_SOCKET is_valid_timeout_ns: is_valid_timeout_ns (a_timeout_nanoseconds) feature -- Element change basic_store (object: ANY) -- Produce an external representation of the -- entire object structure reachable from object. -- Retrievable within current system only. -- (from SOCKET) require -- from IO_MEDIUM object_not_void: object /= Void extendible: extendible support_storable: support_storable general_store (object: ANY) -- Produce an external representation of the -- entire object structure reachable from object. -- Retrievable from other systems for same platform -- (machine architecture). -- (from SOCKET) require -- from IO_MEDIUM object_not_void: object /= Void extendible: extendible support_storable: support_storable independent_store (object: ANY) -- Produce an external representation of the -- entire object structure reachable from object. -- Retrievable from other systems for the same or other -- platform (machine architecture). -- (from SOCKET) require -- from IO_MEDIUM object_not_void: object /= Void extendible: extendible support_storable: support_storable feature -- Removal dispose -- Ensure this medium is closed when garbage collected. -- (from IO_MEDIUM) feature -- Duplication copy (other: NETWORK_DATAGRAM_SOCKET) -- Update current object using fields of object attached -- to other, so as to yield equal objects. -- (from ANY) require -- from ANY other_not_void: other /= Void type_identity: same_type (other) ensure -- from ANY is_equal: Current ~ other frozen deep_copy (other: NETWORK_DATAGRAM_SOCKET) -- Effect equivalent to that of: -- `copy` (other . `deep_twin`) -- (from ANY) require -- from ANY other_not_void: other /= Void ensure -- from ANY deep_equal: deep_equal (Current, other) frozen deep_twin: NETWORK_DATAGRAM_SOCKET -- New object structure recursively duplicated from Current. -- (from ANY) ensure -- from ANY deep_twin_not_void: Result /= Void deep_equal: deep_equal (Current, Result) frozen standard_copy (other: NETWORK_DATAGRAM_SOCKET) -- Copy every field of other onto corresponding field -- of current object. -- (from ANY) require -- from ANY other_not_void: other /= Void type_identity: same_type (other) ensure -- from ANY is_standard_equal: standard_is_equal (other) frozen standard_twin: NETWORK_DATAGRAM_SOCKET -- New object field-by-field identical to other. -- Always uses default copying semantics. -- (from ANY) ensure -- from ANY standard_twin_not_void: Result /= Void equal: standard_equal (Result, Current) frozen twin: NETWORK_DATAGRAM_SOCKET -- New object equal to Current -- `twin` calls `copy`; to change copying/twinning semantics, redefine `copy`. -- (from ANY) ensure -- from ANY twin_not_void: Result /= Void is_equal: Result ~ Current feature -- Miscellaneous name: STRING_8 -- Socket name -- (from SOCKET) feature -- Basic operations bind -- Bind socket to a local address. -- (from DATAGRAM_SOCKET) close -- Close socket. -- (from DATAGRAM_SOCKET) frozen default: detachable NETWORK_DATAGRAM_SOCKET -- Default value of object's type -- (from ANY) frozen default_pointer: POINTER -- Default value of type POINTER -- (Avoid the need to write p.`default` for -- some p of type POINTER.) -- (from ANY) ensure -- from ANY instance_free: class default_rescue -- Process exception for routines with no Rescue clause. -- (Default: do nothing.) -- (from ANY) frozen do_nothing -- Execute a null action. -- (from ANY) ensure -- from ANY instance_free: class feature -- Obsolete lastchar: CHARACTER_8 -- Last character read by `read_character` -- (from IO_MEDIUM) lastdouble: REAL_64 -- Last double read by `read_double` -- (from IO_MEDIUM) lastint: INTEGER_32 -- Last integer read by `read_integer` -- (from IO_MEDIUM) lastreal: REAL_32 -- Last real read by `read_real` -- (from IO_MEDIUM) laststring: like last_string -- Last string read -- (from IO_MEDIUM) feature -- Implementation make_socket -- Create socket descriptor. -- (from NETWORK_SOCKET) require -- from SOCKET valid_family: family >= 0 valid_type: type >= 0 valid_protocol: protocol >= 0 feature socket_bind -- Bind socket to local address in `address`. -- (from NETWORK_SOCKET) require -- from SOCKET socket_exists: exists valid_local_address: address /= Void close_socket -- Close the underlying C socket. -- (from NETWORK_SOCKET) require -- from SOCKET socket_exists: exists ensure -- from SOCKET is_closed: is_closed connect -- Connect socket to peer address. -- (from NETWORK_SOCKET) require -- from SOCKET socket_exists: exists valid_peer_address: peer_address /= Void connect_to_peer (a_peer_address: like address) -- Target socket to a_peer_address. require -- from DATAGRAM_SOCKET socket_exists: exists a_peer_address_attached: a_peer_address /= Void a_peer_address_valid: is_valid_peer_address (a_peer_address) create_any_local: INET_ADDRESS -- Address that allows connection from any host. -- (from INET_ADDRESS_FACTORY) ensure -- from INET_ADDRESS_FACTORY create_any_local_attached: Result /= Void create_from_address (address: ARRAY [NATURAL_8]): detachable INET_ADDRESS -- (from INET_ADDRESS_FACTORY) require -- from INET_ADDRESS_FACTORY valid_address: address /= Void create_from_name (hostname: READABLE_STRING_8): detachable INET_ADDRESS -- (from INET_ADDRESS_FACTORY) create_from_sockaddr (sockaddr: POINTER): detachable INET_ADDRESS -- (from INET_ADDRESS_FACTORY) require -- from INET_ADDRESS_FACTORY valid_sockaddr: sockaddr /= default_pointer create_localhost: INET_ADDRESS -- (from INET_ADDRESS_FACTORY) create_loopback: INET_ADDRESS -- Loopback address. -- (from INET_ADDRESS_FACTORY) ensure -- from INET_ADDRESS_FACTORY create_any_localhost_attached: Result /= Void descriptor: INTEGER_32 -- Socket descriptor of current socket -- (from NETWORK_SOCKET) require -- from IO_MEDIUM valid_handle: descriptor_available exists: BOOLEAN -- Does socket exist? -- (from NETWORK_SOCKET) require -- from IO_MEDIUM True ensure then -- from SOCKET definition: Result implies descriptor_available ensure then -- from NETWORK_SOCKET definition: Result implies descriptor_available feature -- Access bits size boolean_bits: INTEGER_32 -- Number of bits in a value of type BOOLEAN -- (from PLATFORM) ensure -- from PLATFORM instance_free: class Character_32_bits: INTEGER_32 = 32 -- Number of bits in a value of type CHARACTER_32 -- (from PLATFORM) Character_8_bits: INTEGER_32 = 8 -- Number of bits in a value of type CHARACTER_8 -- (from PLATFORM) Integer_16_bits: INTEGER_32 = 16 -- Number of bits in a value of type INTEGER_16 -- (from PLATFORM) Integer_32_bits: INTEGER_32 = 32 -- Number of bits in a value of type INTEGER_32 -- (from PLATFORM) Integer_64_bits: INTEGER_32 = 64 -- Number of bits in a value of type INTEGER_64 -- (from PLATFORM) Integer_8_bits: INTEGER_32 = 8 -- Number of bits in a value of type INTEGER_8 -- (from PLATFORM) Natural_16_bits: INTEGER_32 = 16 -- Number of bits in a value of type NATURAL_16 -- (from PLATFORM) Natural_32_bits: INTEGER_32 = 32 -- Number of bits in a value of type NATURAL_32 -- (from PLATFORM) Natural_64_bits: INTEGER_32 = 64 -- Number of bits in a value of type NATURAL_64 -- (from PLATFORM) Natural_8_bits: INTEGER_32 = 8 -- Number of bits in a value of type NATURAL_8 -- (from PLATFORM) pointer_bits: INTEGER_32 -- Number of bits in a value of type POINTER -- (from PLATFORM) ensure -- from PLATFORM instance_free: class Real_32_bits: INTEGER_32 = 32 -- Number of bits in a value of type REAL_32 -- (from PLATFORM) Real_64_bits: INTEGER_32 = 64 -- Number of bits in a value of type REAL_64 -- (from PLATFORM) feature -- Access bytes size boolean_bytes: INTEGER_32 -- Number of bytes in a value of type BOOLEAN -- (from PLATFORM) ensure -- from PLATFORM instance_free: class Character_32_bytes: INTEGER_32 = 4 -- Number of bytes in a value of type CHARACTER_32 -- (from PLATFORM) Character_8_bytes: INTEGER_32 = 1 -- Number of bytes in a value of type CHARACTER_8 -- (from PLATFORM) Integer_16_bytes: INTEGER_32 = 2 -- Number of bytes in a value of type INTEGER_16 -- (from PLATFORM) Integer_32_bytes: INTEGER_32 = 4 -- Number of bytes in a value of type INTEGER_32 -- (from PLATFORM) Integer_64_bytes: INTEGER_32 = 8 -- Number of bytes in a value of type INTEGER_64 -- (from PLATFORM) Integer_8_bytes: INTEGER_32 = 1 -- Number of bytes in a value of type INTEGER_8 -- (from PLATFORM) Natural_16_bytes: INTEGER_32 = 2 -- Number of bytes in a value of type NATURAL_16 -- (from PLATFORM) Natural_32_bytes: INTEGER_32 = 4 -- Number of bytes in a value of type NATURAL_32 -- (from PLATFORM) Natural_64_bytes: INTEGER_32 = 8 -- Number of bytes in a value of type NATURAL_64 -- (from PLATFORM) Natural_8_bytes: INTEGER_32 = 1 -- Number of bytes in a value of type NATURAL_8 -- (from PLATFORM) pointer_bytes: INTEGER_32 -- Number of bytes in a value of type POINTER -- (from PLATFORM) ensure -- from PLATFORM instance_free: class Real_32_bytes: INTEGER_32 = 4 -- Number of bytes in a value of type REAL_32 -- (from PLATFORM) Real_64_bytes: INTEGER_32 = 8 -- Number of bytes in a value of type REAL_64 -- (from PLATFORM) feature -- Access: Timeout recv_timeout_ns: NATURAL_64 -- Receive timeout in nanoseconds on Current socket. -- (from NETWORK_SOCKET) send_timeout_ns: NATURAL_64 -- Send timeout in nanoseconds on Current socket. -- (from NETWORK_SOCKET) timeout_ns: NATURAL_64 -- Duration of timeout in nanoseconds. -- (from NETWORK_SOCKET) feature -- Basic commands address: detachable like address_type -- Local address of socket -- (from SOCKET) cleanup -- Cleanup socket. -- (from SOCKET) socket_close -- Close socket for all context. -- (from SOCKET) require -- from IO_MEDIUM medium_is_open: not is_closed descriptor_available: BOOLEAN -- Is descriptor available? -- (from SOCKET) family: INTEGER_32 -- Socket family eg. af_inet, af_unix -- (from SOCKET) peer_address: detachable like address -- Peer address of socket -- (from SOCKET) protocol: INTEGER_32 -- Protocol of the socket. default 0 -- means for the system to chose the default -- protocol for the family chosen. eg. udp, tcp. -- (from SOCKET) set_address (addr: like address) -- Set local address to addr. -- (from SOCKET) require -- from SOCKET add_non_void: addr /= Void same_type: is_valid_family (addr) ensure -- from SOCKET address_set: address = addr set_peer_address (addr: separate like address) -- Set peer address to addr. -- (from SOCKET) require -- from SOCKET address_exists: addr /= Void address_valid: is_valid_peer_address (addr) ensure -- from SOCKET separate_address_object_equal: not attached {like address} addr implies peer_address ~ addr nonseparate_address_reference_equal: attached {like address} addr implies peer_address = addr type: INTEGER_32 -- Type of socket. eg stream, datagram -- (from SOCKET) feature -- Creation make_bound_to_address (a_local_address: like address) -- Create a socket bound to its well-known address -- local_address. -- (from DATAGRAM_SOCKET) make_connected_to_peer (a_peer_address: like address) -- Create a socket targeted to `peer_address`. -- (from DATAGRAM_SOCKET) feature -- Externals: flags for send, sendto recv and recvfrom socket calls c_msgdontroute: INTEGER_32 -- Do not route message -- (from SOCKET_RESOURCES) c_oobmsg: INTEGER_32 -- Out of bound message -- (from SOCKET_RESOURCES) c_peekmsg: INTEGER_32 -- Peek message -- (from SOCKET_RESOURCES) feature -- Input last_boolean: BOOLEAN -- Last boolean read by read_boolean -- (from SOCKET) read (size: INTEGER_32): detachable PACKET -- Read a packet of data of maximum size size. -- (from SOCKET) require -- from SOCKET socket_exists: exists opened_for_read: is_open_read read_boolean -- Read a new boolean. -- Maker result available in `last_boolean`. -- Was declared in {SOCKET} as synonym of `readbool`. -- (from SOCKET) read_character -- Read a new character. -- Make result available in `last_character`. -- Was declared in {SOCKET} as synonym of `readchar`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable read_double -- Read a new double. -- Make result available in `last_double`. -- Was declared in {SOCKET} as synonym of `readdouble` and `read_real_64`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable read_integer -- Read a new 32-bit integer. -- Make result available in `last_integer`. -- Was declared in {SOCKET} as synonym of `readint` and `read_integer_32`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable read_integer_16 -- Read a new 16-bit integer. -- Make result available in `last_integer_16`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable read_integer_32 -- Read a new 32-bit integer. -- Make result available in `last_integer`. -- Was declared in {SOCKET} as synonym of `read_integer` and `readint`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable read_integer_64 -- Read a new 64-bit integer. -- Make result available in `last_integer_64`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable read_integer_8 -- Read a new 8-bit integer. -- Make result available in `last_integer_8`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable read_line -- Read a line of characters (ended by a new_line). -- Was declared in {SOCKET} as synonym of `readline`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable ensure -- from IO_MEDIUM last_string_not_void: last_string /= Void read_line_thread_aware -- Read characters until a new line or -- end of medium. -- Make result available in `last_string`. -- Functionally identical to `read_line` but -- won't prevent garbage collection from occurring -- while blocked waiting for data, though data must -- be copied an extra time. -- (from IO_MEDIUM) require -- from IO_MEDIUM is_readable: readable ensure -- from IO_MEDIUM last_string_not_void: last_string /= Void read_line_until (n: INTEGER_32) -- Read a line of at most n characters (ended by a new_line). -- If new line not read after n characters, set an error. -- (from SOCKET) require -- from SOCKET is_readable: readable ensure -- from SOCKET last_string_not_void: last_string /= Void read_natural -- Read a new 32-bit natural. -- Make result available in `last_natural`. -- Was declared in {SOCKET} as synonym of `read_natural_32`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable read_natural_16 -- Read a new 16-bit natural. -- Make result available in `last_natural_16`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable read_natural_32 -- Read a new 32-bit natural. -- Make result available in `last_natural`. -- Was declared in {SOCKET} as synonym of `read_natural`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable read_natural_64 -- Read a new 64-bit natural. -- Make result available in `last_natural_64`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable read_natural_8 -- Read a new 8-bit natural. -- Make result available in `last_natural_8`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable read_real -- Read a new real. -- Make result available in `last_real`. -- Was declared in {SOCKET} as synonym of `readreal` and `read_real_32`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable read_real_32 -- Read a new real. -- Make result available in `last_real`. -- Was declared in {SOCKET} as synonym of `read_real` and `readreal`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable read_real_64 -- Read a new double. -- Make result available in `last_double`. -- Was declared in {SOCKET} as synonym of `read_double` and `readdouble`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable read_stream (nb_char: INTEGER_32) -- Read a string of at most nb_char characters. -- Make result available in `last_string`. -- Was declared in {SOCKET} as synonym of `readstream`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable ensure -- from IO_MEDIUM last_string_not_void: last_string /= Void read_stream_thread_aware (nb_char: INTEGER_32) -- Read a string of at most nb_char bound characters -- or until end of medium is encountered. -- Make result available in `last_string`. -- Functionally identical to `read_stream` but -- won't prevent garbage collection from occurring -- while blocked waiting for data, though data must -- be copied an extra time. -- (from IO_MEDIUM) require -- from IO_MEDIUM is_readable: readable ensure -- from IO_MEDIUM last_string_not_void: last_string /= Void read_to_managed_pointer (p: MANAGED_POINTER; start_pos, nb_bytes: INTEGER_32) -- Read at most nb_bytes bound bytes and make result -- available in p at position start_pos. -- (from SOCKET) require -- from IO_MEDIUM p_not_void: p /= Void p_large_enough: p.count >= nb_bytes + start_pos nb_bytes_non_negative: nb_bytes >= 0 is_readable: readable ensure -- from IO_MEDIUM bytes_read_non_negative: bytes_read >= 0 bytes_read_not_too_big: bytes_read <= nb_bytes read_to_separate_managed_pointer (a_pointer: separate MANAGED_POINTER; start_pos, a_byte_count: INTEGER_32) -- Read at most a_byte_count bound bytes and make result -- available in a_pointer at position start_pos. -- (from SOCKET) require -- from SOCKET pointer_not_void: a_pointer /= Void large_enough: a_pointer.count >= a_byte_count + start_pos byte_count_non_negative: a_byte_count >= 0 is_readable: readable ensure -- from SOCKET bytes_read_updated: 0 <= bytes_read and bytes_read <= a_byte_count readbool -- Read a new boolean. -- Maker result available in `last_boolean`. -- Was declared in {SOCKET} as synonym of `read_boolean`. -- (from SOCKET) readchar -- Read a new character. -- Make result available in `last_character`. -- Was declared in {SOCKET} as synonym of `read_character`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable readdouble -- Read a new double. -- Make result available in `last_double`. -- Was declared in {SOCKET} as synonym of `read_double` and `read_real_64`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable readint -- Read a new 32-bit integer. -- Make result available in `last_integer`. -- Was declared in {SOCKET} as synonym of `read_integer` and `read_integer_32`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable readline -- Read a line of characters (ended by a new_line). -- Was declared in {SOCKET} as synonym of `read_line`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable ensure -- from IO_MEDIUM last_string_not_void: last_string /= Void readreal -- Read a new real. -- Make result available in `last_real`. -- Was declared in {SOCKET} as synonym of `read_real` and `read_real_32`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable readstream (nb_char: INTEGER_32) -- Read a string of at most nb_char characters. -- Make result available in `last_string`. -- Was declared in {SOCKET} as synonym of `read_stream`. -- (from SOCKET) require -- from IO_MEDIUM is_readable: readable ensure -- from IO_MEDIUM last_string_not_void: last_string /= Void receive (size, flags: INTEGER_32): detachable PACKET -- Receive a packet of maximum size size. -- (from SOCKET) require -- from SOCKET socket_exists: exists opened_for_read: is_open_read feature -- Output extendible: BOOLEAN -- May new items be added? -- (from SOCKET) Io: STD_FILES -- Handle to standard file setup -- (from ANY) ensure -- from ANY instance_free: class io_not_void: Result /= Void is_executable: BOOLEAN -- Is socket an executable? -- (from SOCKET) require -- from IO_MEDIUM handle_exists: exists is_open_read: BOOLEAN -- Is socket opened for reading? -- (from SOCKET) is_open_write: BOOLEAN -- Is socket opened for writing? -- (from SOCKET) is_readable: BOOLEAN -- Is there currently any data available on socket? -- (from SOCKET) require -- from IO_MEDIUM handle_exists: exists is_writable: BOOLEAN -- Is socket a writable medium? -- (from SOCKET) require -- from IO_MEDIUM handle_exists: exists new_line -- Write a "new_line" character to socket. -- Was declared in {SOCKET} as synonym of `put_new_line`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible out: STRING_8 -- New string containing terse printable representation -- of current object -- (from ANY) ensure -- from ANY out_not_void: Result /= Void print (o: detachable ANY) -- Write terse external representation of o -- on standard output. -- (from ANY) ensure -- from ANY instance_free: class put_boolean (b: BOOLEAN) -- Write boolean b to socket. -- Was declared in {SOCKET} as synonym of `putbool`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible put_character (c: CHARACTER_8) -- Write character c to socket. -- Was declared in {SOCKET} as synonym of `putchar`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible put_double (d: REAL_64) -- Write double d to socket. -- Was declared in {SOCKET} as synonym of `putdouble` and `put_real_64`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible put_integer (i: INTEGER_32) -- Write integer i to socket. -- Was declared in {SOCKET} as synonym of `putint` and `put_integer_32`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible put_integer_16 (i: INTEGER_16) -- Write integer i to socket. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible put_integer_32 (i: INTEGER_32) -- Write integer i to socket. -- Was declared in {SOCKET} as synonym of `put_integer` and `putint`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible put_integer_64 (i: INTEGER_64) -- Write integer i to socket. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible put_integer_8 (i: INTEGER_8) -- Write integer i to socket. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible put_managed_pointer (p: MANAGED_POINTER; start_pos, nb_bytes: INTEGER_32) -- Put data of length nb_bytes pointed by start_pos index in p at -- current position. -- (from SOCKET) require -- from IO_MEDIUM p_not_void: p /= Void p_large_enough: p.count >= nb_bytes + start_pos nb_bytes_non_negative: nb_bytes >= 0 extendible: extendible put_natural (i: NATURAL_32) -- Write natural i to socket. -- Was declared in {SOCKET} as synonym of `put_natural_32`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible put_natural_16 (i: NATURAL_16) -- Write natural i to socket. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible put_natural_32 (i: NATURAL_32) -- Write natural i to socket. -- Was declared in {SOCKET} as synonym of `put_natural`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible put_natural_64 (i: NATURAL_64) -- Write natural i to socket. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible put_natural_8 (i: NATURAL_8) -- Write natural i to socket. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible put_new_line -- Write a "new_line" character to socket. -- Was declared in {SOCKET} as synonym of `new_line`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible put_real (r: REAL_32) -- Write real r to socket. -- Was declared in {SOCKET} as synonym of `putreal` and `put_real_32`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible put_real_32 (r: REAL_32) -- Write real r to socket. -- Was declared in {SOCKET} as synonym of `put_real` and `putreal`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible put_real_64 (d: REAL_64) -- Write double d to socket. -- Was declared in {SOCKET} as synonym of `put_double` and `putdouble`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible put_separate_managed_pointer (a_pointer: separate MANAGED_POINTER; start_pos, a_byte_count: INTEGER_32) -- Put data of length a_byte_count pointed by start_pos index in a_pointer at -- current position. -- (from SOCKET) require -- from SOCKET pointer_not_void: a_pointer /= Void large_enough: a_pointer.count >= a_byte_count + start_pos byte_count_non_negative: a_byte_count >= 0 extendible: extendible put_string (s: READABLE_STRING_8) -- Write string s to socket. -- Was declared in {SOCKET} as synonym of `putstring`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible non_void: s /= Void putbool (b: BOOLEAN) -- Write boolean b to socket. -- Was declared in {SOCKET} as synonym of `put_boolean`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible putchar (c: CHARACTER_8) -- Write character c to socket. -- Was declared in {SOCKET} as synonym of `put_character`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible putdouble (d: REAL_64) -- Write double d to socket. -- Was declared in {SOCKET} as synonym of `put_double` and `put_real_64`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible putint (i: INTEGER_32) -- Write integer i to socket. -- Was declared in {SOCKET} as synonym of `put_integer` and `put_integer_32`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible putreal (r: REAL_32) -- Write real r to socket. -- Was declared in {SOCKET} as synonym of `put_real` and `put_real_32`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible putstring (s: READABLE_STRING_8) -- Write string s to socket. -- Was declared in {SOCKET} as synonym of `put_string`. -- (from SOCKET) require -- from IO_MEDIUM extendible: extendible non_void: s /= Void readable: BOOLEAN -- Is there a current item that may be read? -- (from SOCKET) require -- from IO_MEDIUM handle_exists: exists send (a_packet: PACKET; flags: INTEGER_32) -- Send a_packet to address in `peer_address`. -- (from DATAGRAM_SOCKET) require -- from SOCKET socket_exists: exists opened_for_write: is_open_write valid_packet: a_packet /= Void frozen tagged_out: STRING_8 -- New string containing terse printable representation -- of current object -- (from ANY) ensure -- from ANY tagged_out_not_void: Result /= Void write (a_packet: PACKET) -- Write packet a_packet to socket. -- (from SOCKET) require -- from SOCKET a_packet_not_void: a_packet /= Void socket_exists: exists feature -- Platform is_64_bits: BOOLEAN -- Is the current process runing in 64-bit mode -- (from PLATFORM) ensure -- from PLATFORM instance_free: class is_dotnet: BOOLEAN -- Are we targetting .NET? -- (from PLATFORM) ensure -- from PLATFORM instance_free: class Is_little_endian: BOOLEAN -- Is current platform a little endian one? -- (from PLATFORM) ensure -- from PLATFORM instance_free: class is_mac: BOOLEAN -- Are we running on Mac OS? -- (from PLATFORM) ensure -- from PLATFORM instance_free: class is_scoop_capable: BOOLEAN -- Is current platform capable of SCOOP? -- (from PLATFORM) ensure -- from PLATFORM instance_free: class is_thread_capable: BOOLEAN -- Is current platform capable of multi-threading? -- (from PLATFORM) ensure -- from PLATFORM instance_free: class is_unix: BOOLEAN -- Are we running on a Unix like platform? -- (from PLATFORM) ensure -- from PLATFORM instance_free: class is_vms: BOOLEAN -- Are we running on VMS? -- (from PLATFORM) ensure -- from PLATFORM instance_free: class is_vxworks: BOOLEAN -- Are we running on VxWorks? -- (from PLATFORM) ensure -- from PLATFORM instance_free: class is_windows: BOOLEAN -- Are we running on Windows platform? -- (from PLATFORM) ensure -- from PLATFORM instance_free: class Operating_environment: OPERATING_ENVIRONMENT -- Objects available from the operating system -- (from ANY) ensure -- from ANY instance_free: class operating_environment_not_void: Result /= Void feature -- Time helpers Max_timeout_ns_value: NATURAL_64 = 2147483647999999999 -- Maximum value for a timeout in nanoseconds. -- See `is_valid_timeout_ns` for explanation. -- (from SOCKET_TIMEOUT_UTILITIES) nanoseconds_to_seconds (ns: NATURAL_64): INTEGER_32 -- Number of seconds in ns nanoseconds (that fits in INTEGER_32 value). -- Warning: Result can not be more than {INTEGER}.max_value. -- (from SOCKET_TIMEOUT_UTILITIES) ensure -- from SOCKET_TIMEOUT_UTILITIES non_negative: Result >= 0 coherent: Result.to_natural_64 * One_second_in_nanoseconds <= ns is_class: class One_second_in_nanoseconds: NATURAL_64 = 1000000000 -- Number of nanoseconds in one second. -- (from SOCKET_TIMEOUT_UTILITIES) seconds_to_nanoseconds (s: INTEGER_32): NATURAL_64 -- Number of nanoseconds in s seconds (that fits in NATURAL_64 value). -- (from SOCKET_TIMEOUT_UTILITIES) ensure -- from SOCKET_TIMEOUT_UTILITIES is_class: class feature -- Validation is_valid_timeout_ns (ns: NATURAL_64): BOOLEAN -- (from SOCKET_TIMEOUT_UTILITIES) ensure -- from SOCKET_TIMEOUT_UTILITIES is_class: class feature -- socket options debug_enabled: BOOLEAN -- Is socket system debugging enabled? -- (from SOCKET) require -- from SOCKET socket_exists: exists disable_debug -- Disable socket system debugging. -- (from SOCKET) require -- from SOCKET socket_exists: exists do_not_route -- Set socket to non-routing. -- (from SOCKET) require -- from SOCKET socket_exists: exists enable_debug -- Enable socket system debugging. -- (from SOCKET) require -- from SOCKET socket_exists: exists group_id: INTEGER_32 -- Group id of socket -- (from SOCKET) require -- from SOCKET socket_exists: exists group_set: is_group_id is_blocking: BOOLEAN -- Is the socket blocking? -- (from SOCKET) is_group_id: BOOLEAN -- Is the owner id the socket group id? -- (from SOCKET) require -- from SOCKET socket_exists: exists is_process_id: BOOLEAN -- Is the owner id the socket process id? -- (from SOCKET) require -- from SOCKET socket_exists: exists is_socket_stream: BOOLEAN -- Is the socket a stream? -- (from SOCKET) require -- from SOCKET socket_exists: exists process_id: INTEGER_32 -- Process id of socket -- (from SOCKET) require -- from SOCKET socket_exists: exists process_set: is_process_id receive_buf_size: INTEGER_32 -- Size of receive buffer. -- (from SOCKET) require -- from SOCKET socket_exists: exists route -- Set socket to routing. -- (from SOCKET) require -- from SOCKET socket_exists: exists route_enabled: BOOLEAN -- Is routing enabled? -- (from SOCKET) require -- from SOCKET socket_exists: exists send_buf_size: INTEGER_32 -- Size of send buffer. -- (from SOCKET) require -- from SOCKET socket_exists: exists set_owner (own: INTEGER_32) -- Negative value sets group process id. -- positive value sets process id. -- (from SOCKET) require -- from SOCKET socket_exists: exists valid_owner: own /= 0 and own /= -1 ensure -- from SOCKET set_id: own < -1 implies own = group_id or else own > 0 implies own = process_id set_receive_buf_size (s: INTEGER_32) -- Set receive buffer size. -- (from SOCKET) require -- from SOCKET socket_exists: exists ensure -- from SOCKET size_set: s = receive_buf_size set_send_buf_size (s: INTEGER_32) -- Set the send buffer to size s. -- (from SOCKET) require -- from SOCKET socket_exists: exists ensure -- from SOCKET size_set: s = send_buf_size invariant -- from INET_PROPERTIES exclusive: is_ipv4_stack_preferred implies not is_ipv6_available -- from ANY reflexive_equality: standard_is_equal (Current) reflexive_conformance: conforms_to (Current) -- from NETWORK_SOCKET correct_exist: not is_created implies is_closed and not exists note copyright: "Copyright (c) 1984-2020, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 5949 Hollister Ave., Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class NETWORK_DATAGRAM_SOCKET
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org