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

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

Has someone already tried to run the test xml/xpath with
assertions on? I get the following exception trace when
compiled with ISE 6.1.7.0907, which is a not a good thing
for the new Gobo release:

C:\gobo\test\xml\xpath>xpath -a

xpath: system execution failed.
Following is the set of recorded exceptions:

-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception 
  Effect
-------------------------------------------------------------------------------
XM_XPATH_MAPPED_PATH_EXPRESSION
                     initialize_special_properties @5
                                            special_properties_not_computed:
<00000000046E47B8>  (From XM_XPATH_STATIC_PROPERTY)
                                            Precondition violated. 
   Fail
-------------------------------------------------------------------------------
XM_XPATH_MAPPED_PATH_EXPRESSION
                     compute_special_properties @4
<00000000046E47B8>                         Routine failure. 
  Fail
-------------------------------------------------------------------------------
XM_XPATH_MAPPED_PATH_EXPRESSION
                     compute_static_properties @29
<00000000046E47B8>  (From XM_XPATH_COMPUTED_EXPRESSION)
                                            Routine failure. 
   Fail
-------------------------------------------------------------------------------
XM_XPATH_MAPPED_PATH_EXPRESSION
                     make @7
<00000000046E47B8>                         Routine failure. 
  Fail
-------------------------------------------------------------------------------
XM_XPATH_PATH_EXPRESSION
                     check_static_type @29
<00000000046D3B88>                         Routine failure. 
  Fail
-------------------------------------------------------------------------------
XM_XPATH_EVALUATOR  evaluate @9
<0000000004637F88>                         Routine failure. 
  Fail
-------------------------------------------------------------------------------
XXM_XPATH_TEST_EVALUATOR
                     test_atomic_values_in_path_expression @5
<0000000004D7F400>  (From XM_XPATH_TEST_EVALUATOR)
                                            Routine failure. 
   Fail
-------------------------------------------------------------------------------
XXM_XPATH_TEST_EVALUATOR
                     execute_i_th @30
<0000000004D7F400>                         Routine failure. 
  Fail
-------------------------------------------------------------------------------
XXM_XPATH_TEST_EVALUATOR
                     execute_without_rescue @3
<0000000004D7F400>  (From TS_TEST_CASE)    Routine failure. 
  Fail
-------------------------------------------------------------------------------
XXM_XPATH_TEST_EVALUATOR
                     execute @5
<0000000004D7F400>  (From TS_TEST_CASE)    Routine failure. 
  Fail
-------------------------------------------------------------------------------
TS_TEST_SUITE       execute @5
<0000000004D7D678>                         Routine failure. 
  Fail
-------------------------------------------------------------------------------
XPATH               execute @12
<0000000004D7D318>  (From TS_TESTER)       Routine failure. 
  Fail
-------------------------------------------------------------------------------
XPATH               make @11
<0000000004D7D318>  (From TS_TESTER)       Routine failure. 
  Fail
-------------------------------------------------------------------------------
XPATH               root's creation
<0000000004D7D318>                         Routine failure. 
  Exit
-------------------------------------------------------------------------------

And apparently there are other assertion problems with this test:

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Testing xpath...
Preparing Test Cases
Compiling Test Cases
Running Test Cases

Test Summary for xpath

# Passed:     266 tests
# Failed:     0 test
# ABORTED:    9 tests
# Total:      275 tests (1811 assertions)

Test Results:
ABORT:  [XM_XPATH_TEST_EVALUATOR.test_atomic_values_in_path_expression] 
Eiffel e
xception
ABORT:  [XM_XPATH_TEST_EVALUATOR.test_for_error_xpty0018] Eiffel exception
ABORT:  [XM_XPATH_TEST_EVALUATOR.test_for_error_xpty0019] Eiffel exception
ABORT:  [XM_XPATH_TEST_LANG.test_lang_one] Eiffel exception
ABORT:  [XM_XPATH_TEST_LANG.test_lang_two] Eiffel exception
ABORT:  [XM_XPATH_TEST_LANG.test_lang_three] Eiffel exception
ABORT:  [XM_XPATH_TEST_LANG.test_lang_four] Eiffel exception
ABORT:  [XM_XPATH_TEST_LANG.test_lang_five] Eiffel exception
ABORT:  [XM_XPATH_TEST_LANG.test_lang_six] Eiffel exception

BUILD FAILED!
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

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