Message: The following issue has been re-assigned.
Assignee: Sandy Gao (mailto:[EMAIL PROTECTED]) --------------------------------------------------------------------- View the issue: http://issues.apache.org/jira/browse/XERCESJ-922 Here is an overview of the issue: --------------------------------------------------------------------- Key: XERCESJ-922 Summary: incorrect validation of substitution groups with restriction Type: Bug Status: Open Project: Xerces2-J Components: XML Schema Structures Versions: 2.6.2 Assignee: Sandy Gao Reporter: Eric J Schwarzenbach Created: Mon, 22 Mar 2004 5:56 AM Updated: Wed, 19 May 2004 7:26 AM Environment: Operating System: Windows XP Platform: PC 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]{1,3}"/> </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]{1,3}"/> </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> --------------------------------------------------------------------- JIRA INFORMATION: This message is automatically generated by JIRA. If you think it was sent incorrectly contact one of the administrators: http://issues.apache.org/jira/secure/Administrators.jspa If you want more information on JIRA, or have a bug to report see: http://www.atlassian.com/software/jira --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
