22032 2013-05-14 20:41:04 +0000 [XQ30] Consistency between the node-name and namespaces of a constructed element 2013-06-19 10:14:36 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 3.0 Candidate Recommendation PC All CLOSED FIXED P2 normal --- 1 mike jonathan.robie christian.gruen public-qt-comments oldest_to_newest 87680 0 mike 2013-05-14 20:41:04 +0000 (From a comment by Christian Grün <christian.gruen@gmail.com> on the saxon-help list). Consider element e { namespace {''} {'u'} } The rules say that (a) the name of the element is Q{}e (b) the element has a namespace binding (""=>"u") This would violate a consistency constraint in the data model (section 6.2.1 rule 12). Possibilities are: (1) change the name of the element to Q{u}e (2) don't add the namespace binding to the element node (3) raise a dynamic error XSLT chooses (3). Specifically [ERR XTDE0440] It is a non-recoverable dynamic error if the result sequence contains a namespace node with no name and the element node being constructed has a null namespace URI (that is, it is an error to define a default namespace when the element is in no namespace). Christian was expecting (1). 87683 1 mike 2013-05-14 20:55:37 +0000 I have added test case nscons-042 to test this situation. 87763 2 mike 2013-05-16 11:48:23 +0000 Reclassifying as XQuery. Previously misclassified. 88008 3 jonathan.robie 2013-05-21 16:39:06 +0000 The Working Group has decided to raise a dynamic error for this case. 88009 4 jonathan.robie 2013-05-21 16:43:04 +0000 The error code for this will be XQDY0102. 89397 5 jonathan.robie 2013-06-17 13:12:30 +0000 Can I make this error more specific? Does the following text cover this case? I find it more readable: It is an error to define a default namespace for an element if the element's name is in no namespace <errorref class="DY" code="0102"/>. For instance, the following computed constructor raises an error because the element's name is not in a namespace, but a default namespace is defined. <eg role="parse-test">element e { namespace {''} {'u'} }</eg> 89399 6 mike 2013-06-17 14:49:15 +0000 It's more readable, but is the term "to define a default namespace for an element" clear? You've basically taken the informal readable description of the error condition in XSLT in preference to the more formal and accurate one. In XSLT there are several ways a namespace node can find its way into the content sequence for an element constructor; in XQuery there is only one way, namely the use of a namespace constructor. So I agree the XQuery case is a little simpler. But I don't think I would understand "define a default namespace" as used here, except by reference to the example, and it's not good if the spec can only be understood by reference to examples. 89409 7 jonathan.robie 2013-06-17 19:37:35 +0000 How about this: If the name of an element in a computed element constructor is in no namespace, creating a default namespace for that element using a computed namespace constructor is an error <errorref class="DY" code="0102"/>. For instance, the following computed constructor raises an error because the element's name is not in a namespace, but a default namespace is defined. <eg role="parse-test">element e { namespace {''} {'u'} }</eg> 89413 8 mike 2013-06-17 20:43:16 +0000 Much better, but doesn't the rule apply equally to a direct element constructor? 89426 9 jonathan.robie 2013-06-17 22:45:36 +0000 (In reply to comment #8) > Much better, but doesn't the rule apply equally to a direct element > constructor? Hmmmphhh, yes it does. If the name of an element in an element constructor is in no namespace, creating a default namespace for that element using a computed namespace constructor is an error <errorref class="DY" code="0102"/>. For instance, the following computed constructor raises an error because the element's name is not in a namespace, but a default namespace is defined. <eg role="parse-test">element e { namespace {''} {'u'} }</eg> [reply] [-] Comment 8