[Bug 13760] Handling of open contents in complex type extension

http://www.w3.org/Bugs/Public/show_bug.cgi?id=13760

Michael Kay <mike@saxonica.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #5 from Michael Kay <mike@saxonica.com> 2011-10-17 17:17:25 UTC ---
Saxon is getting this wrong. It reports:

Error in open032.bad.xsd:
  Invalid extension. The open content wildcard of the base type of type R is
not a subset of
  the open content wildcard of the extended type.

This is a reference to derivation valid (extension) clause 1.4.3.2.2.4.

Saxon is incorrectly testing that the wildcard specified for B is a subset of
the wildcard specified for R, whereas it should be testing that the wildcard
specified for B is a subset of the computed wildcard for R, which is the union
of the wildcards specified for R and B. In fact, it appears that the rule in
1.4.3.2.2.4 is never violated for components constructed from schema documents.

I have removed test open032 from the test set.

I have added a new test open047 based on this schema, with examples of valid
and invalid instances.

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Monday, 17 October 2011 17:17:28 UTC