Re: YY_SCANNER_SKELETON.yy_content_area could be ABSTRACT_SPECIAL ?
Eric Bezault <[email protected]> Fri, 19 Jun 2009 15:33:51 +0200
| Newsgroups | gmane.comp.lang.eiffel.gobo.devel |
|---|---|
| Message-ID | <[email protected]> |
Eric Bezault wrote: > YY_SCANNER_SKELETON has been changed in such as way because during > the current migration to void-safety KI_CHARACTER_BUFFER.as_special > has been turned to return a non-void SPECIAL. I think that the problem > comes from here. Your version of class buffer is now likely to > violate this new postcondition in `as_special'. > > I'll see what I can do to revert this change. I must say that I'm > not a fan of all this void-safety thing. For code that was well > equipped with assertions like the Gobo libraries, converting to > void-safety makes the code more convoluted, hence harder to read > and maintain. KI_CHARACTER_BUFFER.as_special can now be void, as it used to be. The scanner skeleton classes have been updated accordingly. -- Eric Bezault mailto:[email protected] http://www.gobosoft.com ------------------------------------------------------------------------------ Crystal Reports - New Free Runtime and 30 Day Trial Check out the new simplified licensing option that enables unlimited royalty-free distribution of the report engine for externally facing server and web deployment. http://p.sf.net/sfu/businessobjects