[
https://issues.apache.org/jira/browse/XERCESJ-1579?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13476054#comment-13476054
]
Mukul Gandhi commented on XERCESJ-1579:
---------------------------------------
I do agree, that there seems to be a bug with the implementation as you've
reported. Following is a possible workaround, to achieve the same functionality.
If we specify the complex type named "testing" as following,
<xsd:complexType name="testing">
<xsd:complexContent>
<xsd:restriction base="x:base">
<xsd:choice>
<xsd:element name="e1" minOccurs="1" maxOccurs="unbounded"/>
<xsd:element name="e2" minOccurs="1" maxOccurs="unbounded"/>
</xsd:choice>
<xsd:assert test="count(*) le 9999999"
xpathDefaultNamespace="##targetNamespace"/>
</xsd:restriction>
</xsd:complexContent>
</xsd:complexType>
We would perhaps get the same validation outcome, as intended in your original
schema in this bug report.
> Possible infinite loop while validating a schema that contains complex type
> restrictions
> ----------------------------------------------------------------------------------------
>
> Key: XERCESJ-1579
> URL: https://issues.apache.org/jira/browse/XERCESJ-1579
> Project: Xerces2-J
> Issue Type: Bug
> Components: XML Schema 1.1 Structures
> Reporter: Octavian Nadolu
> Priority: Critical
>
> There seems to be an infinite loop while validating the schema with "full
> schema checking" and XML Schema 1.1 features, on the xml-schema-1.1-dev
> branch.
> You can reproduce the issue on the xml-schema-1.1-dev branch, using the
> jaxp.SourceValidator as follows:
> jaxp.SourceValidator -xsd11 -f -a particlesIe003.xsd
> Schema: particlesIe003.xsd
> {code}
> <?xml version="1.0"?>
> <xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema";
> targetNamespace="http://xsdtesting"; xmlns:x="http://xsdtesting";
> elementFormDefault="qualified">
> <xsd:complexType name="base">
> <xsd:choice>
> <xsd:element name="e1" minOccurs="0"
> maxOccurs="unbounded"/>
> <xsd:element name="e2" minOccurs="0"
> maxOccurs="unbounded"/>
> </xsd:choice>
> </xsd:complexType>
> <xsd:complexType name="testing">
> <xsd:complexContent>
> <xsd:restriction base="x:base">
> <xsd:choice>
> <xsd:element name="e1" minOccurs="1"
> maxOccurs="9999999"/>
> <xsd:element name="e2" minOccurs="1"
> maxOccurs="9999999"/>
> </xsd:choice>
> </xsd:restriction>
> </xsd:complexContent>
> </xsd:complexType>
> <xsd:element name="doc" type="x:testing"/>
> </xsd:schema>
> {code}
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira
---------------------------------------------------------------------
To unsubscribe, e-mail: j-dev-unsubscr...@xerces.apache.org
For additional commands, e-mail: j-dev-h...@xerces.apache.org
