Automatic generation produced by ISE Eiffel
deferred class DATAGRAM_SOCKET General cluster: abstract description: "A datagram socket." Ancestors SOCKET* Queries address: [detachable like address_type] detachable SOCKET_ADDRESS address_in_use: BOOLEAN address_not_readable: BOOLEAN address_type: SOCKET_ADDRESS already_bound: BOOLEAN assertion_violation: BOOLEAN bad_socket_handle: BOOLEAN boolean_bits: INTEGER_32 boolean_bytes: INTEGER_32 bound: BOOLEAN 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 connection_refused: BOOLEAN 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 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_closed: 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_little_endian: BOOLEAN is_mac: BOOLEAN is_open_read: BOOLEAN is_open_write: 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 SOCKET_ADDRESS): BOOLEAN is_valid_peer_address (addr: [attached separate like address] attached separate SOCKET_ADDRESS): 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 Loop_invariant: INTEGER_32 Loop_variant: INTEGER_32 meaning (except: INTEGER_32): detachable STRING_8 name: STRING_8 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 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 SOCKET_ADDRESS pointer_bits: INTEGER_32 pointer_bytes: 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 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 received (size, flags: INTEGER_32): PACKET recipient_name: detachable STRING_8 Rescue_exception: INTEGER_32 Resumption_failed: INTEGER_32 Retrieve_exception: INTEGER_32 retrieved: detachable ANY route_enabled: BOOLEAN Routine_failure: INTEGER_32 Runtime_check_exception: INTEGER_32 Runtime_io_exception: INTEGER_32 send_buf_size: INTEGER_32 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 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 basic_store (object: ANY) bind catch (code: INTEGER_32) cleanup close close_socket connect connect_to_peer (a_peer_address: [like address] detachable SOCKET_ADDRESS) die (code: INTEGER_32) disable_debug dispose do_not_route enable_debug general_store (object: ANY) ignore (code: INTEGER_32) independent_store (object: ANY) make make_bound_to_address (a_local_address: [like address] detachable SOCKET_ADDRESS) make_connected_to_peer (a_peer_address: [like address] detachable SOCKET_ADDRESS) 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) send_to (a_packet: PACKET; to_address: SOCKET_ADDRESS; flags: INTEGER_32) set_address (addr: [like address] detachable SOCKET_ADDRESS) set_blocking set_non_blocking set_owner (own: INTEGER_32) set_peer_address (addr: [separate like address] detachable separate SOCKET_ADDRESS) set_receive_buf_size (s: INTEGER_32) set_send_buf_size (s: INTEGER_32) socket_bind socket_close write (a_packet: PACKET) -- Generated by Eiffel Studio --
For more details: eiffel.org