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

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

Colin Adams wrote:
> Then the correct thing to do is to remove the call (after the
> precursor call) to initialize_special_properties.

I did so.

> What I don't understand is why I didn't get this error when running
> the tests with ge.

That's probably because gec does not check assertions.

> I am afraid as to what the state of my local
> repository is compared with yours. Can this wait until tomorrow?

I guess that I have no choice because some code does not
even compile ;-(

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
[VDRS-1] class XM_XPATH_LAST_POSITION_FINDER (19,29): 
`as_last_position_finder' is not the final name of a feature inherited 
from XM_XPATH_SEQUENCE_ITERATOR.
----
[VUAR-2] class XM_XPATH_ARRAY_ITERATOR (40,33): the 1-th actual argument 
(of type 'NONE') does not conform to the corresponding formal argument 
(of type 'G') of feature `has' in class ARRAY.
----
[VUAR-2] class XM_XPATH_ARRAY_ITERATOR (191,26): the 1-th actual 
argument (of type 'NONE') does not conform to the corresponding formal 
argument (of type 'G') of feature `has' in class ARRAY.
----
[VUEX-2] class XM_XPATH_DESCENDANT_ENUMERATION (129,28): 
`as_reversible_iterator' is not the final name of a feature in class 
XM_XPATH_AXIS_ITERATOR.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

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