Re: [gobo-eiffel-develop] Precondition violated in XPath test

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

Colin Adams wrote:
> Note that this is in the area of the class that I had to reconstruct
> by hand on Monday morning. I THINK I only re-ran the tests with gec
> that morning.

OK, I managed to restore version 6152, which is the one that has
been accidentally removed at version 6153. Can I use it instead of
the one that you reconstructed by hand at version 6155?

I can also see that you made this modification in version 6155:

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Modified: gobo/trunk/library/xml/xpath/expression/xm_xpath_path_expression.e
===================================================================
--- gobo/trunk/library/xml/xpath/expression/xm_xpath_path_expression.e 
2007-10-28 17:44:13 UTC (rev 6154)
+++ gobo/trunk/library/xml/xpath/expression/xm_xpath_path_expression.e 
2007-10-29 06:55:02 UTC (rev 6155)
@@ -91,13 +91,8 @@
  			--Determine the data type of the expression, if possible
  		do
  			Result := step.item_type
-			if Result /= Void then
-				-- Bug in SE 1.0 and 1.1: Make sure that
-				-- that `Result' is not optimized away.
-			end
  		end
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Did you make sure that it is working as expected with SE 1.2r7?

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