Question

我想为包含选项的文档编写XML模式（xsd 1.1）。每个选项都有一个名称和类型（如布尔，整数，字符串等...）和匹配该类型的基准。类型列表是固定的，但很长。（为简单起见，清单3中仅列出了3个。）

如果没有荒谬的重复，我该怎么做？

用例1

以下是此架构的有效文档..

清单1：

<abc:options>
  <abc:option name="is-enabled" type="boolean">false</abc:option>
  <abc:option name="wing-span"  type="float">1.2</abc:option>
</abc:options>

用例2

此文档对此架构无效，因为@type属性的简单类型位错误。

<abc:options>
  <abc:option name="is-enabled" type="boolean">24</abc:option>
  <abc:option name="wing-span"  type="float">this-is-not-a-number!</abc:option>
</abc:options>

到目前为止我尝试了什么......

清单3是我到目前为止的尝试。但这很糟糕，因为我必须为每个基准类型重新声明@name属性。有更好的解决方案吗？也就是说，我不需要为每个可能的基准类型重新声明@name属性。

清单3：

<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
           xmlns:abc="http://www.example.com"
           targetNamespace="http://www.example.com"
           elementFormDefault="qualified"
           attributeFormDefault="unqualified">

  <xs:element name="options">
    <xs:complexType>
      <xs:sequence minOccurs="1" maxOccurs="unbounded">
        <xs:element name="abc:option" type="option-Type"/>
      </xs:sequence>
    </xs:complexType>
  </xs:element>

  <xs:simpleType name="option-Datum-Type">
    <xs:restriction base="xs:string">
      <xs:enumeration value="boolean"/>
      <xs:enumeration value="integer"/>
      <xs:enumeration value="float"/>
    </xs:restriction>
  </xs:simpleType>

  <xs:complexType name="option-Type-boolean">
    <xs:simpleContent>
      <xs:extension base="xs:boolean">
        <xs:attribute name="name" type="xs:token" use="required" />
        <xs:attribute name="type" type="abc:option-Datum-Type" use="required" />
      </xs:extension>
    </xs:simpleContent>
  </xs:complexType>

  <xs:complexType name="option-Type-string">
    <xs:simpleContent>
      <xs:extension base="xs:string">
        <xs:attribute name="name" type="xs:token" use="required" />
        <xs:attribute name="type" type="abc:option-Datum-Type" use="required" />
      </xs:extension>
    </xs:simpleContent>
  </xs:complexType>

  <xs:complexType name="option-Type-float">
    <xs:simpleContent>
      <xs:extension base="xs:double">
        <xs:attribute name="name" type="xs:token" use="required" />
        <xs:attribute name="type" type="abc:option-Datum-Type" use="required" />
      </xs:extension>
    </xs:simpleContent>
  </xs:complexType>

  <xs:complexType name="option-Type">
    <xs:alternative test="@type='boolean'"  type="abc:option-Type-boolean"/>
    <xs:alternative test="@type='string'"   type="abc:option-Type-string" />
    <xs:alternative test="@type='float'"    type="abc:option-Type-float"  />
    <xs:alternative type="xs:error"/>
  </xs:complexType>

</xs:schema>

Answer 1

如果类型只能是原子类型之一，则可以使用xs:assert，如下所示：

<xs:complexType name="option-Type">
    <xs:simpleContent>
        <xs:extension base="xs:string">
            <xs:attribute name="name" type="xs:token" use="required" />
            <xs:attribute name="type" type="xs:string" use="required" />
            <xs:assert
                test="if (@type='boolean')  then . castable as xs:boolean
                else if (@type='float')     then . castable as xs:float
                else if (@type='int')       then . castable as xs:int
                else if (@type='string')    then . castable as xs:string
                else false()"/>
        </xs:extension>
    </xs:simpleContent>
</xs:complexType>

注意：

您不需要声明任何新类型。如果您愿意，您甚至可以跳过枚举声明。
使用这种方法，您需要为每种新的可能类型添加一个新行（您不需要新行，但是对于不同行中的每种类型都很容易阅读。）
如果您发现更清楚，可以使用text()代替.
请注意，如果 XPath 2.0 的eval函数类似于 javascript 和其他语言 eval 函数，这种方法会是多么简单：
```
<xs:assert test="eval(text() || ' castable as xs:' || @type)"/>
```
我虽然 eval / parse 函数将被添加到 XPath 3.0 规范中，但我认为它最终还没有被添加。
与instance of不同，除了*和+运算符之外，您无法使用列表（?，castable as）。您只能使用此方法使用原子类型。
当字符串声明为 xs：string 时，应始终使用强制转换为字符串字符串。

元素的XML模式，其简单类型由属性驱动

用例1

用例2

到目前为止我尝试了什么......

1 个答案: