class
	EL_NETWORK_STREAM_SOCKET

inherit
	NETWORK_STREAM_SOCKET
		rename
			last_string as internal_last_string,
			put_string as put_raw_string_8,
			put_character as put_raw_character_8,
			make_empty as make_default
		export
			{NONE} internal_last_string
		undefine
			read_stream, readstream, put_pointer_content, read_into_pointer
		redefine
			make_default, do_accept
		end

	EL_MODULE_EXCEPTION
		rename
			Exception as Mod_exception
		end

	EL_STREAM_SOCKET
		undefine
			exists, is_valid_peer_address, is_valid_family, address_type,
			set_blocking, set_non_blocking
		redefine
			make_default
		end

create
	make, make_client_by_port, make_server_by_port

feature -- Initialization

	make_default
		do
			Precursor {NETWORK_STREAM_SOCKET}
			Precursor {EL_STREAM_SOCKET}
		end

feature -- Access

	description: STRING
		local
			l_name: STRING
		do
			if address.host_address.raw_address.for_all (agent is_zero) then
				l_name := "localhost:" + port.out
			else
				l_name := address.host_address.host_name + ":" + port.out
			end
			Result := "TCP socket " + l_name
		end

feature -- Status query

	is_zero (n: NATURAL_8): BOOLEAN
		do
			Result := n = n.zero
		end

feature {NONE} -- Implementation

	do_accept (other: separate like Current; a_address: attached like address)
			-- Accept a new connection.
			-- The new socket is stored in `other'.
			-- If the accept fails, `other.is_created' is still False.
		local
			retried: BOOLEAN
			pass_address: like address
			return: INTEGER;
			l_last_fd: like fd
		do
			if not retried then
				pass_address := a_address.twin
				l_last_fd := last_fd
				return := c_accept (fd, fd1, $l_last_fd, pass_address.socket_address.item, accept_timeout);
				last_fd := l_last_fd
				if return > 0 then
					other.make_from_descriptor_and_address (return, a_address)
					other.set_peer_address (pass_address)
						-- We preserve the blocking state specified on Current.
					if is_blocking then
						other.set_blocking
					else
						other.set_non_blocking
					end
				end
			end
		rescue
			if Mod_exception.is_termination_signal then
				exception_manager.last_exception.raise
			elseif not assertion_violation then
				retried := True
				retry
			end
		end
end