我有以下形式的 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>
我想要一个 XSD,它允许可能有一个默认块或没有,但不超过一个。它可能出现在 case 块之间的任何位置。
以下 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>
为什么这个模式不是确定性的?有没有办法改写它,使它成为决定论者?