Re: [gobo-eiffel-develop] Postcondition failure in {DS_HASH_TABLE}.search_position

[Eric B. <er...@go...>]

Colin Paul Adams wrote:
> While testing gexslt, I've come across a postcondition violation in
> this routine. I tried debugging it, but I couldn't work out why the
> problem was occurring.

There are two reasons why you could get a postcondition violation
in this routine. Either this routine (or its postcondition) has a
bug, or your hash table contains mutable keys whose comparison
criterion or hash code has changed since it was first inserted.

> So I've checked in the code, hoping that you can work out what is
> wrong.
> 
> The following command line will reproduce the problem:
> 
> gexslt group021.xsl group021.xml

OK, I will have a look.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com