Bug in XM_EXPAT_API
"Paul Cohen" <[email protected]>
| Newsgroups | gmane.comp.lang.eiffel.gobo.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi, 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 -- Paul Cohen mobile: +46 730 787 035 e-mail: [email protected] ------------------------------------------------------------------------- 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