This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 18641 - should 'wild062.n3.xml' be valid?
Summary: should 'wild062.n3.xml' be valid?
Status: NEW
Alias: None
Product: XML Schema Test Suite
Classification: Unclassified
Component: Saxon tests (show other bugs)
Version: 2006-11-06
Hardware: All Windows 3.1
: P2 normal
Target Milestone: ---
Assignee: C. M. Sperberg-McQueen
QA Contact: XML Schema Test Suite mailing list
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-08-21 14:33 UTC by Altova XML Developers
Modified: 2012-12-04 00:50 UTC (History)
0 users

See Also:

Attachments

Description Altova XML Developers 2012-08-21 14:33:26 UTC 
I think test 'wild062.n3.xml' of group 'wild062' of set 'Wild' should be valid.

In this test case a content model with a lax wildcard and a local element declaration 'f' is used to validate an element with two <f> element children. One attributed to the local element declaration the second to the wildcard. The second has an instance specified type definition which does not override the locally declared type.

So as described in http://www.w3.org/TR/xmlschema11-1/#key-governing-type-elem:

  6 An ·instance-specified type definition· which ·overrides· the ·locally declared type·.
  7 The ·locally declared type·.
  8 An ·instance-specified type definition·.

the governing type definition of the second <f> element will be the locally declared type, because the locally declared type is listed before the instance specified type definition, and thus cvc-complex-type.5 is not violated.

Best regards,
Andreas Meissl