为什么此XSD 1.1断言失败？

问题描述

我正在使用Xerces-J-bin.2.12.1-xml-schema-1.1.zip包来验证XSD 1.1，导致出现以下错误。

example.xml无效，因为cvc-assertion：声明评估 （元素的'count（attribute [string（@distinct）='true']）= 1'） 模式类型“ #AnonType_example”上的“ ts：example”失败。

是否不支持所有XPath？

XML：

<?xml version="1.0" encoding="UTF-8"?>
<ts:example xmlns:ts="http://tokenscript.org/2020/06/tokenscript">
    <ts:attribute name="building" distinct="false"/>
    <ts:attribute name="state" distinct="true"/>
</ts:example>

XSD代码：

    <?xml version="1.0" encoding="UTF-8"?>
<schema xmlns="http://www.w3.org/2001/XMLSchema"
        xmlns:ts="http://tokenscript.org/2020/06/tokenscript"
        targetNamespace="http://tokenscript.org/2020/06/tokenscript"
        elementFormDefault="qualified">

    <element name="example">
        <complexType>
            <sequence>
                <element name="attribute" minOccurs="0" maxOccurs="unbounded" type="ts:attributeWithdistinct"/>
            </sequence>
            <assert test="count(attribute[string(@distinct) = 'true']) = 1"/>
        </complexType>
    </element>
    <complexType name="attributeTS">
        <sequence>
            <element minOccurs="0" name="label" />
            <element minOccurs="0" name="origins" />
        </sequence>
        <attribute name="name" use="required" type="NCName"/>
    </complexType>
    <complexType name="attributeWithdistinct">
        <complexContent>
            <extension base="ts:attributeTS">
                <attribute name="distinct" type="boolean" default="false"/>
            </extension>
        </complexContent>
    </complexType>
</schema>

在我的Java代码中，我正确地指向XSD 1.1，请参见下面的Java代码：

private static final String W3C_XML_SCHEMA_11_NS_URI = "http://www.w3.org/XML/XMLSchema/v1.1";

private static void validateFile(File xmlFile,File xsdFile) throws SAXException,IOException
{
    // 1. Lookup a factory for the W3C XML Schema language
    //SchemaFactory factory = SchemaFactory.newInstance(XMLConstants.W3C_XML_SCHEMA_NS_URI);
    SchemaFactory factory = SchemaFactory.newInstance(W3C_XML_SCHEMA_11_NS_URI);
    // 2. Compile the schema.
    File schemaLocation = xsdFile; 
    Schema schema = factory.newSchema(schemaLocation);

    // 3. Get a validator from the schema.
    Validator validator = schema.newValidator();

    // 4. Parse the document you want to check.
    Source source = new StreamSource(xmlFile);

    // 5. Check the document
    try
    {
        validator.validate(source);
        System.out.println(xmlFile.getName() + " is valid.");
    }
    catch (SAXException ex)
    {
        System.out.println(xmlFile.getName() + " is not valid because ");
        System.out.println(ex.getMessage());
    }
}

解决方法

在删除剩余的ts名称空间前缀之后，发布的XML / XSD对中的唯一其他问题是XSD引用了不存在的类型attributeWithDistinct。从@type中删除该xsd:element属性，并填写完整的详细信息将产生以下XML，该XML对以下XSD有效，

XML

<?xml version="1.0" encoding="UTF-8"?>
<example>
  <attribute name="building" distinct="false"/>
  <attribute name="state" distinct="true"/>
</example>

XSD

<?xml version="1.0" encoding="UTF-8"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
  xmlns:vc="http://www.w3.org/2007/XMLSchema-versioning"
  elementFormDefault="qualified"
  vc:minVersion="1.1"> 
  <xs:element name="example">
    <xs:complexType>
      <xs:sequence>
        <xs:element name="attribute" minOccurs="0" maxOccurs="unbounded"/>
      </xs:sequence>
      <xs:assert test="count(attribute[string(@distinct) = 'true']) = 1"/>
    </xs:complexType>
  </xs:element>  
</xs:schema>

如果添加第二个attribute元素，

  <attribute name="state" distinct="true"/>

转到XML中的example元素，

<?xml version="1.0" encoding="UTF-8"?>
<example>
  <attribute name="building" distinct="false"/>
  <attribute name="state" distinct="true"/>
  <attribute name="state" distinct="true"/>
</example>

然后您会得到预期的断言失败：

模式类型'count(attribute[string(@distinct) = 'true']) = 1'上元素'example'的断言评估（'#AnonType_example'）没有 成功。

符合预期。

我尚未确认您的Java代码，但是您遇到的是正常的断言验证失败而不是不允许的错误消息，这表明您已成功通过XSD 1.1验证。

---

根据OP的更改更新以使用名称空间

XML

<?xml version="1.0" encoding="UTF-8"?>
<ts:example xmlns:ts="http://tokenscript.org/2020/06/tokenscript">
  <ts:attribute name="building" distinct="false"/>
  <ts:attribute name="state" distinct="true"/>
</ts:example>

XSD

<?xml version="1.0" encoding="UTF-8"?>
<schema xmlns="http://www.w3.org/2001/XMLSchema"
  xmlns:ts="http://tokenscript.org/2020/06/tokenscript"
  targetNamespace="http://tokenscript.org/2020/06/tokenscript"
  xmlns:vc="http://www.w3.org/2007/XMLSchema-versioning"
  elementFormDefault="qualified"
  vc:minVersion="1.1">
  
  <element name="example">
    <complexType>
      <sequence>
        <element name="attribute" minOccurs="0" maxOccurs="unbounded" type="ts:attributeWithDistinct"/>
      </sequence>
      <assert test="count(ts:attribute[string(@distinct) = 'true']) = 1"/>
    </complexType>
  </element>
  <complexType name="attributeTS">
    <sequence>
      <element minOccurs="0" name="label" />
      <element minOccurs="0" name="origins" />
    </sequence>
    <attribute name="name" use="required" type="NCName"/>
  </complexType>
  <complexType name="attributeWithDistinct">
    <complexContent>
      <extension base="ts:attributeTS">
        <attribute name="distinct" type="boolean" default="false"/>
      </extension>
    </complexContent>
  </complexType>
</schema>