Project

Profile

Help

Support #5584

closed

assertion in XSD 1.1 might be misinterpreted

Added by Geert Bormans 3 months ago. Updated 3 months ago.

Status:
Closed
Priority:
Low
Assignee:
Category:
Schema conformance
Sprint/Milestone:
Start date:
2022-06-28
Due date:
% Done:

0%

Estimated time:
Legacy ID:
Applies to branch:
Fix Committed on Branch:
Fixed in Maintenance Release:
Platforms:
Java

Description

I have an assertion in a schema

   <xsd:element name="chapter">
      <xsd:complexType>
         <xsd:complexContent>
            <xsd:extension base="hierarchy"> 
               <xsd:assert test="every $x in (*) satisfies $x = (num | heading |section | article)"/>
            </xsd:extension>
         </xsd:complexContent>
      </xsd:complexType>
   </xsd:element>

and this XML snippet

            <chapter eId="chap_1">
                <num>1. Kapitel:</num>
                <heading>Gegenstand und Geltungsbereich</heading>
                <section>
                    <content>
                        <p>some text</p>
                    </content>
                </section>
            </chapter>

And Saxon EE 10.6 gives me this error on validation

Element chapter does not satisfy assertion every $x in (*) satisfies $x = (num | heading |section | article)

I would expect it to be valid against the assertion Doing the same test with Xerces shows that Xerces claims the assertion is valid

Not sure this is a bug, maybe my misunderstanding

Thanks Geert Bormans


Files

Please register to edit this issue

Also available in: Atom PDF