Почему это утверждение 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') для элемента 'ts: пример' на типе схемы '# AnonType_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());
    }
}

xml xsd xsd-validation xerces xsd-1.1
person Bharat Darakh    schedule 12.09.2020    source источник
comment
Почему ваше утверждение XSD показывает префикс пространства имен ts на attribute (ужасное имя для элемента, кстати), когда в вашем XML нет пространств имен или префиксов пространств имен? Странно также, что сообщение об ошибке, похоже, относится к другой версии утверждения, что attribute, а не ts:attribute. Это не похоже на согласованный минимально воспроизводимый пример.   -  person kjhughes    schedule 13.09.2020
comment
Спасибо @kjhughes за ответ. Я отредактировал свой вопрос и удалил пространство имен ts:. Я использую пространство имен в целом, но удалено здесь, чтобы упростить его, но я знаю, что с пространством имен нет проблем.   -  person Bharat Darakh    schedule 13.09.2020
comment
Я отредактировал свой вопрос, добавив полный рабочий небольшой пример. Я ожидаю, что xml действителен для опубликованного выше xml, но он все еще выдает упомянутую цитируемую ошибку. Можете ли вы проверить и предложить?   -  person Bharat Darakh    schedule 15.09.2020
comment
Хорошо, так как вы вернулись к использованию пространств имен, просто верните префикс пространства имен ts обратно к утверждаемому attribute: count(ts:attribute[string(@distinct) = 'true']) = 1.   -  person kjhughes    schedule 15.09.2020
comment
МОЙ БОГ! дополнительная пара глаз действительно помогла здесь Спасибо!   -  person Bharat Darakh    schedule 16.09.2020
comment
Нужно отметить, что объяснение ниже помогло мне лучше понять это. Я думал, что ошибка возникла из-за неправильного XPath, потому что я ожидал сообщения об ОШИБКЕ, такого как: элемент ts:attribute с определенным = истинным не разрешен более одного раза.   -  person Bharat Darakh    schedule 16.09.2020
comment
Да, было бы полезно, но сложно в общем случае сообщать о нарушениях утверждений на более высоком уровне абстракции.   -  person kjhughes    schedule 16.09.2020

Ответы (1)


arrow_upward
1
arrow_downward

После удаления остаточного префикса пространства имен ts единственная другая проблема в опубликованной паре XML/XSD заключается в том, что XSD ссылается на несуществующий тип attributeWithDistinct. Удалите этот атрибут @type из xsd:element, и заполнение полной информации даст следующий 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"/>

к элементу example в XML,

<?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>
person kjhughes    schedule 13.09.2020