Project

Profile

Help

Actions
Send by e-mail Copy link

Support #5584

closed

assertion in XSD 1.1 might be misinterpreted

Added by Geert Bormans over 2 years ago. Updated over 2 years ago.

Status:
Closed
Priority:
Low
Assignee:
Michael Kay
Category:
Schema conformance
Sprint/Milestone:
10.6
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

Download all files
fedlex-data-admin-ch-eli-cc-2007-758-20220601-de-xml-1.cut.xml (3.16 KB) fedlex-data-admin-ch-eli-cc-2007-758-20220601-de-xml-1.cut.xml test file used Geert Bormans, 2022-06-28 21:10
11-akn-subschema.xsd (276 KB) 11-akn-subschema.xsd schema used Geert Bormans, 2022-06-28 21:11

Please register to edit this issue

Actions
Send by e-mail Copy link

Also available in: Atom PDF