Automatic generation produced by ISE Eiffel
class NETWORK_STREAM_SOCKET General cluster: network description: "A network stream socket." create: make, make_empty, make_client_by_port, make_client_by_address_and_port, make_server_by_port, make_server_by_address_and_port, make_loopback_server_by_port, make_from_descriptor_and_address, create_from_descriptor Ancestors INET_ADDRESS_FACTORY NETWORK_SOCKET* STREAM_SOCKET* Queries accept_timeout: INTEGER_32 accepted: [detachable like Current] detachable NETWORK_STREAM_SOCKET address: [detachable like address_type] detachable NETWORK_SOCKET_ADDRESS address_in_use: BOOLEAN address_not_readable: BOOLEAN address_type: NETWORK_SOCKET_ADDRESS already_bound: BOOLEAN assertion_violation: BOOLEAN bad_socket_handle: BOOLEAN boolean_bits: INTEGER_32 boolean_bytes: INTEGER_32 bytes_read: INTEGER_32 c_msgdontroute: INTEGER_32 c_oobmsg: INTEGER_32 c_peekmsg: INTEGER_32 Character_32_bits: INTEGER_32 Character_32_bytes: INTEGER_32 Character_8_bits: INTEGER_32 Character_8_bytes: INTEGER_32 Check_instruction: INTEGER_32 Class_invariant: INTEGER_32 class_name: detachable STRING_8 Com_exception: INTEGER_32 connect_in_progress: BOOLEAN connect_timeout: INTEGER_32 connection_refused: BOOLEAN create_any_local: INET_ADDRESS create_from_address (address: ARRAY [NATURAL_8]): detachable INET_ADDRESS create_from_name (hostname: READABLE_STRING_8): detachable INET_ADDRESS create_from_sockaddr (sockaddr: POINTER): detachable INET_ADDRESS create_localhost: INET_ADDRESS create_loopback: INET_ADDRESS Create_on_deferred: INTEGER_32 debug_enabled: BOOLEAN descriptor: INTEGER_32 descriptor_available: BOOLEAN Developer_exception: INTEGER_32 developer_exception_name: detachable STRING_8 Dollar_applied_to_melted_feature: INTEGER_32 dtable_full: BOOLEAN Eiffel_runtime_fatal_error: INTEGER_32 Eiffel_runtime_panic: INTEGER_32 error: STRING_8 error_number: INTEGER_32 exception: INTEGER_32 Exception_in_signal_handler: INTEGER_32 Exception_manager: EXCEPTION_MANAGER exception_trace: detachable STRING_8 exists: BOOLEAN expired_socket: BOOLEAN extendible: BOOLEAN External_exception: INTEGER_32 family: INTEGER_32 Floating_point_exception: INTEGER_32 group_id: INTEGER_32 has_delay: BOOLEAN has_exception_state: BOOLEAN Incorrect_inspect_value: INTEGER_32 Integer_16_bits: INTEGER_32 Integer_16_bytes: INTEGER_32 Integer_32_bits: INTEGER_32 Integer_32_bytes: INTEGER_32 Integer_64_bits: INTEGER_32 Integer_64_bytes: INTEGER_32 Integer_8_bits: INTEGER_32 Integer_8_bytes: INTEGER_32 invalid_address: BOOLEAN invalid_socket_handle: BOOLEAN Io_exception: INTEGER_32 is_64_bits: BOOLEAN is_blocking: BOOLEAN is_bound: BOOLEAN is_closed: BOOLEAN is_connected: BOOLEAN is_created: BOOLEAN is_default_timeout: BOOLEAN is_developer_exception: BOOLEAN is_developer_exception_of_name (name: detachable STRING_8): BOOLEAN is_dotnet: BOOLEAN is_executable: BOOLEAN is_group_id: BOOLEAN is_ipv4_stack_preferred: BOOLEAN is_ipv6_available: BOOLEAN is_linger_on: BOOLEAN Is_little_endian: BOOLEAN is_mac: BOOLEAN is_open_read: BOOLEAN is_open_write: BOOLEAN is_out_of_band_inline: BOOLEAN is_plain_text: BOOLEAN is_process_id: BOOLEAN is_readable: BOOLEAN is_scoop_capable: BOOLEAN is_signal: BOOLEAN is_socket_stream: BOOLEAN is_system_exception: BOOLEAN is_thread_capable: BOOLEAN is_unix: BOOLEAN is_valid_family (addr: [attached like address] attached NETWORK_SOCKET_ADDRESS): BOOLEAN is_valid_peer_address (addr: [attached separate like address] attached separate NETWORK_SOCKET_ADDRESS): BOOLEAN is_valid_timeout_ns (ns: NATURAL_64): BOOLEAN is_vms: BOOLEAN is_vxworks: BOOLEAN is_windows: BOOLEAN is_writable: BOOLEAN last_boolean: BOOLEAN last_character: CHARACTER_8 last_double: REAL_64 last_integer: INTEGER_32 last_integer_16: INTEGER_16 last_integer_32: INTEGER_32 last_integer_64: INTEGER_64 last_integer_8: INTEGER_8 last_natural: NATURAL_32 last_natural_16: NATURAL_16 last_natural_32: NATURAL_32 last_natural_64: NATURAL_64 last_natural_8: NATURAL_8 last_real: REAL_32 last_real_32: REAL_32 last_real_64: REAL_64 last_string: STRING_8 lastchar: CHARACTER_8 lastdouble: REAL_64 lastint: INTEGER_32 lastreal: REAL_32 laststring: [like last_string] STRING_8 linger_time: INTEGER_32 Loop_invariant: INTEGER_32 Loop_variant: INTEGER_32 Max_timeout_ns_value: NATURAL_64 maximum_seg_size: INTEGER_32 meaning (except: INTEGER_32): detachable STRING_8 name: STRING_8 nanoseconds_to_seconds (ns: NATURAL_64): INTEGER_32 Natural_16_bits: INTEGER_32 Natural_16_bytes: INTEGER_32 Natural_32_bits: INTEGER_32 Natural_32_bytes: INTEGER_32 Natural_64_bits: INTEGER_32 Natural_64_bytes: INTEGER_32 Natural_8_bits: INTEGER_32 Natural_8_bytes: INTEGER_32 network: BOOLEAN no_buffers: BOOLEAN No_more_memory: INTEGER_32 no_permission: BOOLEAN not_connected: BOOLEAN Number_of_codes: INTEGER_32 Old_exception: INTEGER_32 One_second_in_nanoseconds: NATURAL_64 Operating_system_exception: INTEGER_32 original_class_name: detachable STRING_8 original_exception: INTEGER_32 original_recipient_name: detachable STRING_8 original_tag_name: detachable STRING_8 Out_of_memory: INTEGER_32 peer_address: [detachable like address] detachable NETWORK_SOCKET_ADDRESS pointer_bits: INTEGER_32 pointer_bytes: INTEGER_32 port: INTEGER_32 Postcondition: INTEGER_32 Precondition: INTEGER_32 process_id: INTEGER_32 protected_address: BOOLEAN protocol: INTEGER_32 protocol_not_supported: BOOLEAN read (size: INTEGER_32): detachable PACKET readable: BOOLEAN ready_for_reading: BOOLEAN ready_for_writing: BOOLEAN Real_32_bits: INTEGER_32 Real_32_bytes: INTEGER_32 Real_64_bits: INTEGER_32 Real_64_bytes: INTEGER_32 receive (size, flags: INTEGER_32): detachable PACKET receive_buf_size: INTEGER_32 recipient_name: detachable STRING_8 recv_timeout_ns: NATURAL_64 Rescue_exception: INTEGER_32 Resumption_failed: INTEGER_32 Retrieve_exception: INTEGER_32 retrieved: detachable ANY reuse_address: BOOLEAN route_enabled: BOOLEAN Routine_failure: INTEGER_32 Runtime_check_exception: INTEGER_32 Runtime_io_exception: INTEGER_32 seconds_to_nanoseconds (s: INTEGER_32): NATURAL_64 send_buf_size: INTEGER_32 send_timeout_ns: NATURAL_64 Serialization_exception: INTEGER_32 Signal_exception: INTEGER_32 socket_family_not_supported: BOOLEAN socket_in_use: BOOLEAN socket_ok: BOOLEAN socket_would_block: BOOLEAN Support_storable: BOOLEAN tag_name: detachable STRING_8 timeout_ns: NATURAL_64 type: INTEGER_32 valid_code (c: INTEGER_32): BOOLEAN Void_assigned_to_expanded: INTEGER_32 Void_call_target: INTEGER_32 was_error: BOOLEAN zero_option: BOOLEAN Commands accept accept_to (other: [separate like Current] separate NETWORK_STREAM_SOCKET) basic_store (object: ANY) bind catch (code: INTEGER_32) cleanup close close_socket connect die (code: INTEGER_32) disable_debug dispose do_not_reuse_address do_not_route enable_debug general_store (object: ANY) ignore (code: INTEGER_32) independent_store (object: ANY) listen (queue: INTEGER_32) make make_client_by_address_and_port (a_peer_address: INET_ADDRESS; a_peer_port: INTEGER_32) make_client_by_port (a_peer_port: INTEGER_32; a_peer_host: READABLE_STRING_8) make_loopback_server_by_port (a_port: INTEGER_32) make_server_by_address_and_port (a_address: INET_ADDRESS; a_port: INTEGER_32) make_server_by_port (a_port: INTEGER_32) make_socket message_on_failure new_line no_message_on_failure put_boolean (b: BOOLEAN) put_character (c: CHARACTER_8) put_double (d: REAL_64) put_integer (i: INTEGER_32) put_integer_16 (i: INTEGER_16) put_integer_32 (i: INTEGER_32) put_integer_64 (i: INTEGER_64) put_integer_8 (i: INTEGER_8) put_managed_pointer (p: MANAGED_POINTER; start_pos, nb_bytes: INTEGER_32) put_natural (i: NATURAL_32) put_natural_16 (i: NATURAL_16) put_natural_32 (i: NATURAL_32) put_natural_64 (i: NATURAL_64) put_natural_8 (i: NATURAL_8) put_new_line put_real (r: REAL_32) put_real_32 (r: REAL_32) put_real_64 (d: REAL_64) put_separate_managed_pointer (a_pointer: separate MANAGED_POINTER; start_pos, a_byte_count: INTEGER_32) put_string (s: READABLE_STRING_8) putbool (b: BOOLEAN) putchar (c: CHARACTER_8) putdouble (d: REAL_64) putint (i: INTEGER_32) putreal (r: REAL_32) putstring (s: READABLE_STRING_8) raise (name: detachable READABLE_STRING_GENERAL) raise_retrieval_exception (name: detachable READABLE_STRING_GENERAL) read_boolean read_character read_double read_integer read_integer_16 read_integer_32 read_integer_64 read_integer_8 read_line read_line_thread_aware read_line_until (n: INTEGER_32) read_natural read_natural_16 read_natural_32 read_natural_64 read_natural_8 read_real read_real_32 read_real_64 read_stream (nb_char: INTEGER_32) read_stream_thread_aware (nb_char: INTEGER_32) read_to_managed_pointer (p: MANAGED_POINTER; start_pos, nb_bytes: INTEGER_32) read_to_separate_managed_pointer (a_pointer: separate MANAGED_POINTER; start_pos, a_byte_count: INTEGER_32) readbool readchar readdouble readint readline readreal readstream (nb_char: INTEGER_32) route send (a_packet: PACKET; flags: INTEGER_32) set_accept_timeout (a_timeout_ms: INTEGER_32) set_address (addr: [like address] detachable NETWORK_SOCKET_ADDRESS) set_blocking set_connect_timeout (a_timeout_ms: INTEGER_32) set_default_timeout set_delay set_ipv4_stack_preferred (preference: BOOLEAN) set_linger_off set_linger_on (time: INTEGER_32) set_nodelay set_non_blocking set_out_of_band_inline set_out_of_band_not_inline set_owner (own: INTEGER_32) set_peer_address (addr: [separate like address] detachable separate NETWORK_SOCKET_ADDRESS) set_receive_buf_size (s: INTEGER_32) set_recv_timeout_ns (a_timeout_nanoseconds: NATURAL_64) set_reuse_address set_send_buf_size (s: INTEGER_32) set_send_timeout_ns (a_timeout_nanoseconds: NATURAL_64) set_timeout_ns (a_timeout_nanoseconds: NATURAL_64) write (a_packet: PACKET) -- Generated by Eiffel Studio --
For more details: eiffel.org