You are viewing a plain text version of this content. The canonical link for it is here.
Posted to j-dev@xerces.apache.org by "Mukul Gandhi (JIRA)" <xe...@xml.apache.org> on 2012/07/14 23:15:34 UTC

[jira] [Commented] (XERCESJ-1571) Validation for XML Schema 1.1 never fnishes (ends up in infinite loop)

    [ https://issues.apache.org/jira/browse/XERCESJ-1571?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13414507#comment-13414507 ] 

Mukul Gandhi commented on XERCESJ-1571:
---------------------------------------

If I simply check the schema you've posted for correctness with XSD 1.1 rules, Xerces reports that this is a correct 1.1 schema. Is the problem you're facing appears at XML instance validation time? -- if yes, can you please post the instance document as well for us to look at it.  
                
> Validation for XML Schema 1.1 never fnishes (ends up in infinite loop)
> ----------------------------------------------------------------------
>
>                 Key: XERCESJ-1571
>                 URL: https://issues.apache.org/jira/browse/XERCESJ-1571
>             Project: Xerces2-J
>          Issue Type: Bug
>          Components: XML Schema 1.1 Datatypes
>    Affects Versions: 2.11.0
>            Reporter: Radu Coravu
>   Original Estimate: 2h
>  Remaining Estimate: 2h
>
> If I validate in 1.1 mode a certain XML Schema, the validation never finishes.
> The XML Schema is below:
> ---------------------------------
> <?xml version="1.0"?>
> <schema xmlns="http://www.w3.org/2001/XMLSchema"
>         targetNamespace="a"
>         xmlns:a="a">
>         
> <!-- 
> Test Case Type: Valid test
> Description   : Tests openContent in complexType derived by restriction 
> -->
> <defaultOpenContent mode="suffix">
>  <any processContents="lax"/>
> </defaultOpenContent>
> <!-- it looks like right now the restriction doesn't have base openContent wildcard but will now have the defaultOC WC -->
> <complexType name="c">
>  <openContent >
>   <any processContents="lax"/>
>  </openContent>
>  <all>
>   <element name="x" type="integer"/>
>   <element name="y" type="integer"/>
>  </all>
> </complexType>
> <complexType name="d">
>  <complexContent>
>   <restriction base="a:c">
>    <all>
>     <element name="x" type="integer"/>
>     <element name="y" type="integer"/>   
>    </all>
>   </restriction>
>  </complexContent>
> </complexType>
> <element name="root">
>  <complexType>
>   <sequence>
>    <element name="p" type="a:d"/>	<!-- tests openContent -->
>   </sequence>
>  </complexType>
> </element>
> </schema>
>  ----------------------------------
> In the method:
> org.apache.xerces.impl.xs.models.XS11CMRestriction.matchWildcardInBase()
> the code:
> while (!emptyWildcard() && (wd1 = derived.nextWildcardTransition(d, dn, idx)) != null) {
> loops endlessly when wd1 and wd are both anyType.

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.apache.org/jira/secure/ContactAdministrators!default.jspa
For more information on JIRA, see: http://www.atlassian.com/software/jira

        

---------------------------------------------------------------------
To unsubscribe, e-mail: j-dev-unsubscribe@xerces.apache.org
For additional commands, e-mail: j-dev-help@xerces.apache.org