Details
-
Bug
-
Status: Closed
-
Resolution: Incomplete
-
2.6.2
-
None
-
None
-
Operating System: Windows XP
Platform: PC
-
27828
Description
I'm seeing some oddities with the validation of certain constructs using
restriction and substitution groups,
that intuitively do not make sense, and which I cannot account for by the spec.
I'm including simple test schemas, whose name I'll refer to in the below; what
I'm seeing are the following:
All my examples start with a base element and its global complex type which is a
sequence of another element (1,n), also with global type (see base1-n.xsd). From
that I derive types from both these types by restriction, and define elements
from those types, declaring those elements to be in the substitution group of
the elements defined as the base type. What I end up with is a structure that is
a restricted form of the base, using different element names.
This works, mostly, however I get errors in several cases in which as far as I
can tell from the spec, I should not. In particular I get a RecurseLax.2 error
if my derived sequence is a single derived element (1,n) (see
deriv_1-n_simple.xsd). I can make this go away by inserting a superfluous choice
group between the sequence and the element, making the choice (1,n) and the
element (1,1) (see deriv_1-n_extra_choice.xsd). This kind of makes sense given
the spec's requiring substitution groups be treated as choices in just this
manner, however the validator surely shouldn't require derivations to mimic this
implicit structure explicitly.
Another case is where instead of that sequence of one derived element (1,n) I
substitute several derived elements, each (1,1) and the base element again (1,1)
(see deriv-3seq-plus.xsd). This gives me a MapAndSum.1 error. Without the base
element it validates fine. If instead of the base element, I use another element
declare as the type the base type itself (not a derived type) it also validates.
However if the last element is (1,n) (derived or base) it fails with that
MapAndSum.1. I don't include all the example schemas for these...to save space I
let whoever tries this make the alterations themselves.
Example schemas:
base1-N.xsd:
<?xml version="1.0" encoding="UTF-8"?>
<xs:schema targetNamespace="http://xml.wrycan.com/test/restr_sub"
xmlns:test="http://xml.wrycan.com/test/restr_sub"
xmlns:xs="http://www.w3.org/2001/XMLSchema" elementFormDefault="qualified"
attributeFormDefault="unqualified">
<xs:element name="outer">
<xs:complexType>
<xs:complexContent>
<xs:extension base="test:outerType"/>
</xs:complexContent>
</xs:complexType>
</xs:element>
<xs:complexType name="outerType">
<xs:sequence>
<xs:element ref="test:inner" maxOccurs="unbounded"/>
</xs:sequence>
</xs:complexType>
<xs:element name="inner" type="test:innerType"/>
<xs:simpleType name="innerType">
<xs:restriction base="xs:string"/>
</xs:simpleType>
</xs:schema>
deriv_1-n_simple.xsd
<?xml version="1.0" encoding="UTF-8"?>
<xs:schema targetNamespace="http://xml.wrycan.com/test/restr_sub"
xmlns:test="http://xml.wrycan.com/test/restr_sub" elementFormDefault="qualified"
attributeFormDefault="unqualified">
<xs:include schemaLocation="base-1toN.xsd"/>
<xs:element name="dervOuter" type="test:dervOuterType"/>
<xs:element name="dervInnerA" type="test:dervInnerType"
substitutionGroup="test:inner"/>
<xs:simpleType name="dervInnerType">
<xs:restriction base="test:innerType">
<xs:pattern value="-?[0-9]
</xs:restriction>
</xs:simpleType>
<xs:complexType name="dervOuterType">
<xs:complexContent>
<xs:restriction base="test:outerType">
<xs:sequence>
<xs:element ref="test:dervInnerA" maxOccurs="unbounded"/>
</xs:sequence>
</xs:restriction>
</xs:complexContent>
</xs:complexType>
</xs:schema>
deriv_1-n_extra_choice.xsd
<?xml version="1.0" encoding="UTF-8"?>
<xs:schema targetNamespace="http://xml.wrycan.com/test/restr_sub"
xmlns:test="http://xml.wrycan.com/test/restr_sub"
xmlns:xs="http://www.w3.org/2001/XMLSchema" elementFormDefault="qualified"
attributeFormDefault="unqualified">
<xs:include schemaLocation="base-1toN.xsd"/>
<xs:element name="dervOuter" type="test:dervOuterType"/>
<xs:element name="dervInnerA" type="test:dervInnerType"
substitutionGroup="test:inner"/>
<xs:simpleType name="dervInnerType">
<xs:restriction base="test:innerType">
<xs:pattern value="-?[0-9]{1,3}
"/>
</xs:restriction>
</xs:simpleType>
<xs:complexType name="dervOuterType">
<xs:complexContent>
<xs:restriction base="test:outerType">
<xs:sequence>
<xs:choice maxOccurs="unbounded">
<xs:element ref="test:dervInnerA"/>
</xs:choice>
</xs:sequence>
</xs:restriction>
</xs:complexContent>
</xs:complexType>
</xs:schema>
deriv-3seq-plus.xsd:
<?xml version="1.0" encoding="UTF-8"?>
<xs:schema targetNamespace="http://xml.wrycan.com/test/restr_sub"
xmlns:xs="http://www.w3.org/2001/XMLSchema"
xmlns:test="http://xml.wrycan.com/test/restr_sub" elementFormDefault="qualified"
attributeFormDefault="unqualified">
<xs:include schemaLocation="base-1toN.xsd"/>
<xs:element name="dervOuter" type="test:dervOuterType"/>
<xs:element name="dervInnerA" type="test:dervInnerType"
substitutionGroup="test:inner"/>
<xs:element name="dervInnerB" type="test:dervInnerType"
substitutionGroup="test:inner"/>
<xs:element name="dervInnerC" type="test:dervInnerType"
substitutionGroup="test:inner"/>
<xs:simpleType name="dervInnerType">
<xs:restriction base="test:innerType">
<xs:pattern value="-?[0-9]
"/>
</xs:restriction>
</xs:simpleType>
<xs:complexType name="dervOuterType">
<xs:complexContent>
<xs:restriction base="test:outerType">
<xs:sequence>
<xs:element ref="test:dervInnerA"/>
<xs:element ref="test:dervInnerB"/>
<xs:element ref="test:dervInnerC"/>
<xs:element ref="test:inner"/>
</xs:sequence>
</xs:restriction>
</xs:complexContent>
</xs:complexType>
<xs:element name="dervInnerSameType" type="test:innerType"
substitutionGroup="test:inner"/>
</xs:schema>