Re: KL_STRING_VALUES
Eric Bezault <[email protected]> Fri, 31 Oct 2008 10:08:26 +0100
| Newsgroups | gmane.comp.lang.eiffel.gobo.devel |
|---|---|
| Message-ID | <[email protected]> |
Colin Adams wrote: > `interpreted_string' could have a postcondition that the result is not > the same object as `a_string'. I just added it. However I find it less expressive than the header comment which says that we will get a new object at each call. -- Eric Bezault mailto:[email protected] http://www.gobosoft.com ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/