如果在XSD中定义,则进行验证,否则-允许,但不验证

时间:2019-03-12 15:27:53

标签: 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>

我想定义以下内容:

  • 文档的根元素必须为data
  • 里面可以有任何顺序的元素。
  • metadata元素是强制性的,并且具有严格的结构。
  • 不需要任何其他元素并且结构简单。
  • 当在XSD模式中定义了firstItemStoragesecondItemStorage之类的元素并出现在XML文档中时,应验证它们具有零个或无限个row元素,这些元素中的零个或无限个属性任何命令。定义的属性经过验证,禁止未定义。
  • 当XML文档中出现XSD架构中未定义的任何其他元素时,不会发生验证错误,并且其内容也不会得到验证。

我的模式如下:

<?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元素有疑问:

  • any元素不仅允许任何未知元素,而且还允许已知元素的任何属性
  • 我从Visual Studio得到警告:
  

警告26通配符'## any'允许元素“操作”,并导致内容模型变得模棱两可。必须形成内容模型,以便在验证元素信息项序列期间,可以唯一地确定直接,间接或隐式包含在其中的粒子,以此依次尝试验证序列中的每个项,而不必检查粒子的内容或属性。该项目,并且在序列的其余部分中没有有关该项目的任何信息。

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

如何安全地定义我想要的东西?

1 个答案:

答案 0 :(得分:1)

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

如果您准备约束元数据元素排在第一位,那么您可以使用内容模型(元数据,xs:any *)来执行此操作(即使在XSD 1.0中),其中xs:any具有processContents =“ lax”。松散验证基本上意味着是否存在全局元素声明,然后针对它进行验证,否则,不进行验证。然后,您的firstItemStoragesecondItemStorage元素声明必须成为全局元素声明({{1}作为xs:element的子元素)。

通过移动到XSD 1.1,您可以解除对元数据必须首先出现的限制(我不确定是否要限制它仅出现一次)。