Re: Bug in XM_EXPAT_API

Eric Bezault <[email protected]>
Newsgroups gmane.comp.lang.eiffel.gobo.devel
Message-ID <[email protected]>
Paul Cohen wrote:
> The Result of type STRING is not created in the following feature in
> XM_EXPAT_API (see line 1426):
> 
>  1415 	new_string_from_c_zero_terminated_string (psz: POINTER): STRING is
>  1416 			-- Eiffel STRING object created from a zero terminated C
>  1417 			-- String located at `psz'.
>  1418 			-- The string is copied so the memory allocated at `psz' may be
>  1419 			-- freed without affecting the returned string.
>  1420 		require
>  1421 			psz_valid: psz /= default_pointer
>  1422 		do
>  1423 #ifdef SE
>  1424 			create Result.from_external_copy (psz)
>  1425 #else
>  1426 			Result.from_c (psz)
>  1427 #endif
>  1428 		ensure
>  1429 			string_not_void: Result /= Void
>  1430 		end
> 
> It should be:
> 
>  1426 			create Result.make_from_c (psz)
> 
> /Paul
> 

Thank you, it's now fixed in svn#6433.

-- 
Eric Bezault
mailto:[email protected]
http://www.gobosoft.com

-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.