1

次の形式の XML ファイルがあります。

<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<hw:config name="test" xmlns:hw="hw">
  <switch var="var.test" >
    <case value="a">
    </case>
    <case value="b">
    </case>
    <default>
    </default>
    <case value="c">
    </case>
  </switch>
</hw:config>

デフォルト ブロックが 1 つでも複数でもなくてもよい XSD が必要です。ケース ブロック間の任意の位置に表示される可能性があります。

次の XSD はその仕事を行うはずですが、xmllint (libxml2) は「コンテンツ モデルは決定論的ではありません」と言っています。

<?xml version="1.0"?>
<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema"
      xmlns:hw="hw" targetNamespace="hw" >

    <xsd:simpleType name="defaultType">
      <xsd:restriction base="xsd:string">
      </xsd:restriction>
    </xsd:simpleType>

    <xsd:complexType name="caseType">
      <xsd:simpleContent>
        <xsd:extension base="xsd:string">
          <xsd:attribute name="value" type="xsd:string" use="required" />
        </xsd:extension>
      </xsd:simpleContent>
    </xsd:complexType >

    <xsd:complexType name="switchType" >
      <xsd:sequence>
        <xsd:element name="case" minOccurs="0" maxOccurs="unbounded" type="hw:caseType" />
        <xsd:sequence minOccurs="0" maxOccurs="1">
          <xsd:element name="default" type="hw:defaultType" />
          <xsd:element name="case" minOccurs="0" maxOccurs="unbounded" type="hw:caseType" />
        </xsd:sequence>
      </xsd:sequence>
      <xsd:attribute name="var" type="xsd:string" use="required" />
    </xsd:complexType>

  <xsd:complexType name="configType" >
    <xsd:sequence>
      <xsd:element name="switch" type="hw:switchType" />
    </xsd:sequence>
    <xsd:attribute name="name" type="xsd:string" />
  </xsd:complexType>

  <xsd:element name="config" type="hw:configType" />

</xsd:schema>

このスキーマが決定論的ではないのはなぜですか? これを決定論的になるように言い換える方法はありますか?

4

1 に答える 1

0

他の人が指摘しているように、これは xmllint (またはむしろ libxml) のバグのようです。同等の DTD には問題はありません。つまり、宣言

<!ELEMENT switch (case*, (default, case*)?) >

文句なしに受け入れられます。したがって、バグは純粋に XSD サポートにあるようであり、より一般的な決定論チェックにはないようです。

1 つの回避策は、(...)? を置き換えることです。(default, case*) と空のシーケンスのどちらかを選択:

<xsd:complexType name="switchType" >
  <xsd:sequence>
    <xsd:element name="case" 
                 minOccurs="0" maxOccurs="unbounded" 
                 type="hw:caseType" />
    <xsd:choice>
      <xsd:sequence/>
      <xsd:sequence>
        <xsd:element name="default" type="hw:defaultType" />
        <xsd:element name="case" 
                     minOccurs="0" maxOccurs="unbounded" 
                     type="hw:caseType" />
      </xsd:sequence>
    </xsd:choice>
  </xsd:sequence>
  <xsd:attribute name="var" type="xsd:string" use="required" />
</xsd:complexType>
于 2012-09-09T17:32:06.357 に答える