Re: [xml-dev] Polyglot XHTML5 Validator?

[Jesper Tverskov <jesper.tverskov@gmail.com>]

Two more bugs, I think:

***9***
The first assertion is a subset of the second. The second is wrong if
the first is right, etc.

<sch:pattern>
        <sch:rule context="s:*">
            <sch:assert test="every $a in
@*/name()[lower-case(.)=$svgatlc] satisfies $a=$svgatmc">
                SVG attribute names should use the specified mixed
case form (<sch:value-of
select="@*/name()[lower-case(.)=$svgatlc][not(.=$svgatmc)]"/>)</sch:assert>
            <sch:assert test="every $a in @*/name() satisfies
(lower-case($a)=$a)">
                Most SVG attributes should use lower case names
(<sch:value-of select="@*/name()[not(matches(.,'^[a-z\-]+$'))]"/>)</sch:assert>
        </sch:rule>
    </sch:pattern>
    <sch:pattern>


***10***
The first assertion is a subset of the second. The second is wrong if
the first is right, etc.

<sch:pattern>
        <sch:rule context="m:*">
            <sch:assert test="every $a in
@*/name()[lower-case(.)=$svgatlc] satisfies $a=$mmlatmc">
                MathML attribute names should use the specified mixed
case form (<sch:value-of
select="@*/name()[lower-case(.)=$mmlatlc][not(.=$mmlatmc)]"/>)</sch:assert>
            <sch:assert test="every $a in @*/name() satisfies
(lower-case($a)=$a)">
                Most MathML attributes should use lower case names
(<sch:value-of select="@*/name()[not(matches(.,'^[a-z\-]+$'))]"/>)</sch:assert>
        </sch:rule>
    </sch:pattern>

Cheers
Jesper Tverskov
http://www.xmlplease.com