Re: [gobo-eiffel-develop] Problem with geant test_se

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

Colin Paul Adams wrote:
>     Eric> Here it is. It looks like the compiler thinks that
>     Eric> XM_XSLT_LITERAL_RESULT inherits from DS_LINKED_LIST_CURSOR
>     Eric> or something like that.
> 
> Well, if that's what it's thinking, then it's wide of the mark.
> 
> XM_XSLT_LITERAL_RESULT_ELEMENT inherits from XM_XSLT_STYLE_ELEMENT,
> ans XM_XSLT_STYLESHEET has a feature top_level_elements which is a
> DS_LINKED_LIST [XM_XSLT_STYLE_ELEMENT], so there is some connection
> there.

I replaced the two local declarations of DS_LINKED_LIST_CURSOR in
XM_XSLT_STYLE_ELEMENT by DS_LIST_CURSOR, and now the end of the
exception stack looks like this:

=================================================
first_parent_for BASE_CLASS
Current = BASE_CLASS#01C8F7E8
         [ id = 703
           path = 
"c:\DriveE\gobo\gobo\library\xml\xslt\style\xm_xslt_literal_res
ult_element.e"
           cluster = #00839008
           index_list = #01C902A0
           heading_comment1 = Void
           is_deferred = false
           is_expanded = false
           is_separate = false
           maybe_separate = false
           name = #01C8F850
           formal_generic_list = Void
           heading_comment2 = Void
           obsolete_type_string = Void
           parent_list = #01C90B90
           creation_clause_list = #01C90C70
           feature_clause_list = #01C90E28
           class_invariant = #01CA4630
           end_comment = Void
           assertion_level = 1
           sedb_trace = false
           hash_code = 763293998
           up_to_original_memory = Void
           once_mark_list = Void
           feature_dictionary = #01C8F888
           is_subclass_of_memory = #01C8FBB8
         ]
other = BASE_CLASS#009CA3E8
         [ id = 55
           path = 
"c:\DriveE\gobo\gobo\library\structure\container\ds_cursor.e"
           cluster = #0082EE30
           index_list = #009CAEB0
           heading_comment1 = Void
           is_deferred = true
           is_expanded = false
           is_separate = false
           maybe_separate = false
           name = #009CA450
           formal_generic_list = #009CB2B8
           heading_comment2 = Void
           obsolete_type_string = Void
           parent_list = #009CB490
           creation_clause_list = Void
           feature_clause_list = #009CBA38
           class_invariant = #009CEA50
           end_comment = Void
           assertion_level = 1
           sedb_trace = false
           hash_code = 34806552
           up_to_original_memory = Void
           once_mark_list = Void
           feature_dictionary = #009CA488
           is_subclass_of_memory = #009CA7B8
         ]
Result = Void
line 562 column 3 file C:\DriveE\EIFFEL\SE\1.0\tools\base_class.e
=====   Top of run-time stack    =====
*** Error at Run Time ***: Require Assertion Violated.


I'm not sure where all these will lead us.

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