时间戳

首页 > 解决方案 > 如果在 XSD 中定义，则验证，否则 - 允许，但不验证

xml - 如果在 XSD 中定义，则验证，否则 - 允许，但不验证

问题描述

一个 XML 文档如下：

<data xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://localhost/app/myschema.xsd myschema.xsd">
    <metadata>
        <source appVer="2.10.0.3" structure="2.10.18.34" sequence="00000001" dt="2014-08-26T11:13:15"/>
    </metadata>
    <firstItemStorage>
        <row col1="..." col2="..." />
        <row col1="..." col2="..." />
        <row col1="..." col2="..." />
    </firstItemStorage>
    <secondItemStorage>
        <row col1="..." col2="..." />
        <row col1="..." col2="..." />
        <row col1="..." col2="..." />
    </secondItemStorage>
    <anyOtherElement>
        <!-- Any XML -->
    </anyOtherElement>
</data>

我想定义以下内容：

我的架构如下：

<?xml version="1.0"?>
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema">
  <xs:element name="data">
    <xs:complexType>
      <xs:choice maxOccurs="unbounded">
        <xs:element name="metadata" minOccurs="1" maxOccurs="1">
          <xs:complexType>
            <xs:sequence>
              <xs:element name="source">
                <xs:complexType>
                  <xs:attribute name="appVer" type="xs:string" use="required"/>
                  <xs:attribute name="structure" type="xs:string" use="required"/>
                  <xs:attribute name="sequence" type="xs:unsignedInt" use="required"/>
                  <xs:attribute name="dt" type="xs:dateTime" use="required"/>
                </xs:complexType>
              </xs:element>
            </xs:sequence>
          </xs:complexType>
        </xs:element>
        <xs:element name="firstItemStorage" minOccurs="0" maxOccurs="1">
          <xs:complexType>
            <xs:sequence>
              <xs:element name="row" minOccurs="0" maxOccurs="unbounded">
                <xs:complexType>
                  <!-- Attributes could have any order -->
                  <xs:attribute name="id" type="xs:int" />
                  <xs:attribute name="sid" type="xs:int" />
                  <xs:attribute name="id_group" type="xs:int" />
                  <xs:attribute name="consum" type="xs:double" />
                  <xs:attribute name="overloadlimit" type="xs:double" />
                  <xs:attribute name="upd" type="xs:dateTime" />
                  <!-- Any other attributes are prohibited -->
                </xs:complexType>
              </xs:element>
            </xs:sequence>
          </xs:complexType>
        </xs:element>
        <xs:element name="secondItemStorage" minOccurs="0" maxOccurs="1">
          <xs:complexType>
            <xs:sequence>
              <xs:element name="row" minOccurs="0" maxOccurs="unbounded">
                <xs:complexType>
                  <!-- Attributes could have any order -->
                  <xs:attribute name="id" type="xs:int" />
                  <xs:attribute name="meaning" type="xs:string" />
                  <xs:attribute name="visible" type="xs:boolean" />
                  <xs:attribute name="a_counter" type="xs:boolean" />
                  <xs:attribute name="activities" type="xs:boolean" />
                  <xs:attribute name="upd" type="xs:dateTime" />
                  <!-- Any other attributes are prohibited -->
                </xs:complexType>
              </xs:element>
            </xs:sequence>
          </xs:complexType>
        </xs:element>
        <!-- Any other elements are allowed, but not validated -->
        <xs:any />
      </xs:choice>
    </xs:complexType>
  </xs:element>
</xs:schema>

xs:any我对元素有问题：

警告 26 通配符“##any”允许元素“操作”，并导致内容模型变得不明确。必须形成一个内容模型，使得在元素信息项序列的验证过程中，直接、间接或隐含地包含在其中的粒子，用于依次验证序列中的每个项目，可以唯一确定，而无需检查其内容或属性。该项目，并且没有关于序列其余部分中的项目的任何信息。

如果没有any元素，当 XML 文档中出现 XSD 中未定义的元素时，我会生成错误。

如何安全地定义我想要的？

标签： xmlxsd

解决方案

在 XSD 1.1 中，您不会在特定元素粒子和通配符粒子之间产生任何歧义。特定粒子具有更高的优先级。如果您迁移到 XSD 1.1（这意味着使用非 Microsoft 工具），您会发现更容易满足您的要求。

如果您准备将元数据元素限制在第一位，那么您可以使用 (metadata, xs:any*) 的内容模型执行此操作（即使在 XSD 1.0 中），其中xs:any具有 processContents="lax"。宽松的验证基本上意味着如果有一个全局元素声明，然后验证它，否则，不验证。然后，您的firstItemStorage和secondItemStorage元素声明必须成为全局元素声明（xs:element作为 的子元素xs:schema）。

迁移到 XSD 1.1 使您能够解除元数据必须首先出现的限制（我不确定您是否想将其限制为仅出现一次）。

推荐阅读