12056 2011-02-14 09:18:50 +0000 [XQuery] error for "XML" as PITarget 2011-02-16 02:49:03 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XQuery 1.0 2nd Edition Recommendation All All CLOSED INVALID P2 normal --- 1 jmdyck jonathan.robie liam mike zongaro public-qt-comments oldest_to_newest 45463 0 jmdyck 2011-02-14 09:18:50 +0000 3.7.2 Other Direct Constructors "The PITarget of a processing instruction may not consist of the characters "XML" in any combination of upper and lower case." The spec should say what error to raise for violations of this requirement. (This bug is similar to Bug 11609.) 45469 1 mike 2011-02-14 10:56:10 +0000 It should also say "must not" rather than "may not". 45488 2 liam 2011-02-14 18:14:22 +0000 There are other examples where the resulting document will not be well formed and it's not an error. I'd rather that this was left as a SHOULD, possibly with a note about how <?xml ...?> will likely be interpreted as an XML declaration, and pointing to serialization options to control what goes there. 45556 3 jmdyck 2011-02-15 06:27:20 +0000 (In reply to comment #1) > It should also say "must not" rather than "may not". (Indeed: it's been changed to "must not" in 3.0.) 45557 4 jmdyck 2011-02-15 06:29:33 +0000 (In reply to comment #2) > I'd rather that this was left as a SHOULD, You mean *changed to* a SHOULD? Or do you mean that the current wording is effectively a SHOULD? 45592 5 zongaro 2011-02-15 15:34:37 +0000 Section 3.7.3.5[1] makes it a dynamic error (err:XQDY0064) for the target of a computed processing instruction constructor "if the NCName is equal to "XML" (in any combination of upper and lower case) [err:XQDY0064]." I submit that it was merely an oversight not to apply the same or a similar error for a direct processing instruction constructor. [1] http://www.w3.org/TR/2010/REC-xquery-20101214/#id-computed-pis 45596 6 zongaro 2011-02-15 16:05:28 +0000 Now that I think about it, I believe the error for the PITarget in 3.7.2 is XPST0003. The definition of PITarget is, by reference to the appropriate version of XML, PITarget ::= Name - (('X' | 'x') ('M' | 'm') ('L' | 'l')) If the PITarget were XmL, say, that would not conform to the syntax of XQuery, so error XPST0003 results. I believe the text in 3.7.2 is drawing attention to that restriction. 45643 7 jmdyck 2011-02-16 02:48:39 +0000 (In reply to comment #6) > The definition of PITarget is, by reference to the appropriate > version of XML, > > PITarget ::= Name - (('X' | 'x') ('M' | 'm') ('L' | 'l')) Ah! I had been thinking PITarget was just NCName. XPST0003 it is then. I'll mark this as resolved-invalid, then close it.