Re: Change of contract in UT_URL_ENCODING.unescaped_utf8

Colin Adams <[email protected]> Wed, 6 May 2009 10:38:40 +0100
Newsgroups gmane.comp.lang.eiffel.gobo.devel
Message-ID <[email protected]>
One client was the test case. I've added a check statement so that it
should pass Void-safety.

Geant test_debug_ge and geant test_debug_ise both pass, but I presume
these are NOT running in Void-safe mode. Is there a way to check that
what I have done is sufficient?

2009/5/2 Eric Bezault <[email protected]>:
> Hi Colin,
>
> On January 18, 2007, in commit svn#5840, you changed the implementation
> and contracts of feature `unescaped_utf8' in UT_URL_ENCODING. However,
> after this change of contracts, it looks like you didn't update its
> callers. For example feature `decoded_utf8' in class UT_URI_STRING,
> and hence its callers, still rely on the fact that the result of
> `unescaped_utf8' is supposed to be non-void.
>
> Can you have a look at that? This is a bug which is blocking the
> conversion of Gobo to void-safe mode.
>
> --
> Eric Bezault
> mailto:[email protected]
> http://www.gobosoft.com
>
> ------------------------------------------------------------------------------
> Register Now & Save for Velocity, the Web Performance & Operations
> Conference from O'Reilly Media. Velocity features a full day of
> expert-led, hands-on workshops and two days of sessions from industry
> leaders in dedicated Performance & Operations tracks. Use code vel09scf
> and Save an extra 15% before 5/3. http://p.sf.net/sfu/velocityconf
> _______________________________________________
> gobo-eiffel-develop mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/gobo-eiffel-develop
>

------------------------------------------------------------------------------
The NEW KODAK i700 Series Scanners deliver under ANY circumstances! Your
production scanning environment may not be a perfect world - but thanks to
Kodak, there's a perfect scanner to get the job done! With the NEW KODAK i700
Series Scanner you'll get full speed at 300 dpi even with all image 
processing features enabled. http://p.sf.net/sfu/kodak-com