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