Problems with XM_CALLBACKS_TO_TREE_FILTER

Bernd Schoeller <[email protected]>
Newsgroups gmane.comp.lang.eiffel.gobo.general
Message-ID <[email protected]>
Dear List,

I have tried to implement an application using the XM_EIFFEL_PARSER
together with the XM_CALLBACKS_TO_TREE_FILTER, to produce a
XM_DOCUMENT from an xml-file.

I get the following precondition violation in
XM_CALLBACKS_TO_TREE_FILTER:
	Feature: on_start_tag
	Tag: unresolved_namespace_is_void

The precondition says that the namespace parameter must noch be Void
when 'has_resolved_namespace' is set (which is always 'True' in the
tree filter).

Looking up the callstack, I can see that this feature is called by
'on_start_tag' in XM_EIFFEL_PARSER, that is again called by
'yy_do_action' in the same class (in the 'when 164' case). Here
on_start_tag is call with a Void namespace - which triggers the
precondition violation.

Regards,
Bernd

PS: The EXPAT parser produces the same error.


[Non-text portions of this message have been removed]



------------------------ Yahoo! Groups Sponsor --------------------~--> 
<font face=arial size=-1><a href="http://us.ard.yahoo.com/SIG=12h9b56cb/M=362131.6882499.7825260.1510227/D=groups/S=1705006764:TM/Y=YAHOO/EXP=1124281795/A=2889191/R=0/SIG=10r90krvo/*http://www.thebeehive.org
">Get Bzzzy! (real tools to help you find a job) Welcome to the Sweet Life - brought to you by One Economy</a>.</font>
--------------------------------------------------------------------~-> 

To Post a message, send it to:   [email protected]
To Unsubscribe, send a blank message to: gobo-eiffel-unsubscribe-B11MqFFcr06IwRZHo2/[email protected] 
Yahoo! Groups Links

<*> To visit your group on the web, go to:
    http://groups.yahoo.com/group/gobo-eiffel/

<*> To unsubscribe from this group, send an email to:
    [email protected]

<*> Your use of Yahoo! Groups is subject to:
    http://docs.yahoo.com/info/terms/
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.