Re: Insufficient Contract for text_substring in YY_SCANNER

"Brian Heilig" wrote:
> The contract for text_substring in class YY_SCANNER is
> insufficient. 
> 
Sorry, my fault. I had it backwards and spoke too soon.

But I still think:

  text_substring_count: Result.count = e - s + 1

is a better postcondition. It's just not nearly as important now.

Brian





To Post a message, send it to:   [email protected]
To Unsubscribe, send a blank message to: [email protected] 
Yahoo! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/gobo-eiffel/

<*> To unsubscribe from this group, send an email to:
    [email protected]

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/