1

在 Altova XMLSpy 2014 中，我有一个 XSD 文档，它定义了：

  • 一种抽象类型，“t_abs”。
  • 具体类型“t_con”定义为一系列元素，其中一个元素定义为类型“t_abs”。
  • 定义为“t_con”类型的元素（可实例化）“e_con”。

那是对的吗？我认为它应该会产生一个错误，因为抽象类型没有被用作具体类型的基础（通过扩展或限制），抽象类型（t_abs）被用作具体元素的类型到可实例化的具体元素（t_con）。

XMLSpy 是否应该返回一个抽象类型被用于具体元素的警告？

例子：

<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:vc="http://www.w3.org/2007/XMLSchema-versioning" elementFormDefault="qualified" attributeFormDefault="unqualified" vc:minVersion="1.1">
    <xs:complexType name="t_abs" abstract="true">
        <xs:sequence>
            <xs:element name="el" type="xs:string"/>
            <xs:element name="e2" type="xs:string"/>
        </xs:sequence>
    </xs:complexType>
    <xs:complexType name="t_con">
        <xs:sequence>
            <xs:element name="e_t_con_1" type="xs:string"/>
            <xs:element name="e_t_abs" type="t_abs"/>
            <xs:element name="e_t_con_2" type="xs:string"/>
        </xs:sequence>
    </xs:complexType>
    <xs:element name="e_con" type="t_con"/>
</xs:schema>
4

1 回答 1

2

允许 XMLSpy 在实际验证之前不报告您期望的错误（强调添加）：

3.4.1 复杂类型定义模式组件

{abstract} 为真的复杂类型不能用作元素信息项·validation·的{type definition}。因此，不得从实例文档中的 xsi:type (§2.6.1) 属性中引用它们。抽象复杂类型可以用作{基本类型定义}，甚至可以用作元素声明的{类型定义}，只要通过 xsi:type ( § 2.6.1) 或替代组的操作。

如果您继续尝试使用 XSD验证文档实例，

<?xml version="1.0" encoding="utf-8"?>
<e_con>
  <e_t_con_1/>
  <e_t_abs>
    <el/>
    <e2/>
  </e_t_abs>
  <e_t_con_2/>
</e_con>

你会发现你收到了你所寻找的错误，比如 Xerces-J 产生的这个错误：

[错误] try2.xml:5:12: cvc-type.2: 元素 e_t_abs 的类型定义不能是抽象的。

于 2014-07-02T13:53:58.167 回答