Re: [xml] RelaxNG bug?

[Elvis Stansvik <elvstone gmail com>]

2010/1/19 Daniel Veillard <veillard redhat com>:
> On Fri, Jan 15, 2010 at 05:12:18PM +0100, Elvis Stansvik wrote:
> > Hello libxml2 folks,
> >
> > The following minimal example validates with Jing but not libxml2 (git
> > version from today):
> >
> > test.xml:
> > <?xml version="1.0" encoding="UTF-8"?>
> > <a b="0%"/>
> >
> > schema.rng:
> > <?xml version="1.0" encoding="UTF-8"?>
> > <grammar
> >   xmlns="http://relaxng.org/ns/structure/1.0";
> >   datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes";>
> >
> >   <start>
> >     <element name="a">
> >       <attribute name="b">
> >         <list>
> >           <choice>
> >             <ref name="percent"/>
> >             <value>super</value>
> >             <value>sub</value>
> >           </choice>
> >           <optional>
> >             <ref name="percent"/>
> >           </optional>
> >         </list>
> >       </attribute>
> >     </element>
> >   </start>
> >
> >   <define name="percent">
> >     <data type="string">
> >       <param name="pattern">-?([0-9]+(\.[0-9]*)?|\.[0-9]+)%</param>
> >     </data>
> >   </define>
> >
> > </grammar>
> >
> > [astan pyret test]$ xmllint --version
> > xmllint: using libxml version 20706-GITv2.7.6-8-g7946137
> >    compiled with: Threads Tree Output Push Reader Patterns Writer
> > SAXv1 FTP HTTP DTDValid HTML Legacy C14N Catalog XPath XPointer
> > XInclude Iconv ISO8859X Unicode Regexps Automata Expr Schemas
> > Schematron Modules Debug Zlib
> > [astan pyret test]$ xmllint --relaxng schema.rng test.xml
> > <?xml version="1.0" encoding="UTF-8"?>
> > <a b="0%"/>
> > Unimplemented block at relaxng.c:8948
> > test.xml:2: element a: Relax-NG validity error : Element a failed to
> > validate attributes
> > test.xml fails to validate
> >
> > It validates if I remove the entire <optional> from the <list>.
> >
> > Any ideas? The code at relaxng.c:8948 indicates that this is a TODO.
> > Is that true or is this a real bug and the validator has been put into
> > an inconsistent state?
>
>  Hum, yes I guess it's a bug in libvirt as the given define type seems
> not supported there, that construct seems very unusual, since nobody
> stepped on it ... until now !

libvirt? I guess you meant libxml2 ;)

Yes, the construct may be unusual. I bumped into it though when trying
to validate an OpenDocument document in strict mode using the RelaxNG
schemas from OASIS.

http://www.oasis-open.org/committees/download.php/12569/OpenDocument-schema-v1.0-os.rng
(On line 13737)

(Note that you have to validate using
http://www.oasis-open.org/committees/download.php/12569/OpenDocument-strict-schema-v1.0-os.rng,
which includes the aforementioned file and sets it up for strict
validation, for that line to kick in.)

What do you say, do you think it's a hard thing to fix?

This guy (Jos) in the KOffice project is working on an automated test
harness for our conversion of other office formats to OpenDocument
where he first converts to OpenDocument and then run a validation on
the resulting document. This is how the problem was found.

It would be nice if the OpenDocument schemas were supported by libxml2
since libxml2 is so much more widely available (and leaner!) than
Jing.

Regards,
Elvis

> Daniel
>
> --
> Daniel Veillard      | libxml Gnome XML XSLT toolkit  http://xmlsoft.org/
> daniel veillard com  | Rpmfind RPM search engine http://rpmfind.net/
> http://veillard.com/ | virtualization library  http://libvirt.org/