6238 2008-11-19 17:09:45 +0000 CVS: K2-NameTest-22 2010-03-16 14:38:46 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite unspecified PC Windows NT CLOSED FIXED P2 normal --- 1 tim frans.englich andrew.eisenberg frans.englich oliver public-qt-comments oldest_to_newest 22474 0 tim 2008-11-19 17:09:45 +0000 This query, which tests the resolution of Bug 5351, incorrectly expects an error. Quoting Bug 5351: "The name test shown in this bug report will always result in a dynamic error. In its teleconference on 2008-01-08, the WG decided (because the error, caused by a string literal, can be caught statically) to make it a type error (XPTY0004) if the string literal of a PI name test cannot be converted to an NCName." Here, the string literal can be converted to a valid NCName using the constructor xs:NCName('b '). (:*******************************************************:) (: Test: K2-NameTest-22 :) (: Written by: Frans Englich :) (: Date: 2007-11-22T11:31:21+01:00 :) (: Purpose: A processing-instruction() with an invalid NCName in a string litera l. :) (:*******************************************************:) empty(let $e := <a b ="content"><?b asd?><b/></a> return $e/processing-instruction("b ")) 22552 1 frans.englich 2008-11-28 09:23:36 +0000 Could we back this up with spec references? I fail to find some piece of text which says "The string literal appearing inside the node test processing-instruction() is treated as passed to the xs:NCName constructor function." A piece of functionality that raise XPTY0004, doesn't equal that the code uses casting, as far as I know. 22554 2 tim 2008-11-28 09:48:55 +0000 I quoted the resolution of the bug. I'm not sure whether this has made it into the erratum yet. I've requested clarification under Bug 5351. 24286 3 andrew.eisenberg 2009-03-16 20:06:19 +0000 The resolution of Bug #5351 is reflected in erratum XQ.E12 (http://www.w3.org/XML/2007/qt-errata/xquery-errata.html#E12). This erratum adds the following text in 2.5.4.2 Matching an ItemType and an Item: "If the specified PITarget is not a syntactically valid NCName, a type error is raised [err:XPTY0004]." The WGs also resolved Bug #6559 recently, saying: "We will check the target to make sure it is a valid NCName. Whitespace is allowed, we use whitespace normalization before testing." 28295 4 frans.englich 2009-10-13 13:11:27 +0000 A fix has been attempted in CVS. Test expects output now. 28315 5 tim 2009-10-13 15:58:34 +0000 The expected result appears to be: "<doc>false</doc>" but should be: "<doc>true</doc>" 28339 6 frans.englich 2009-10-14 13:24:43 +0000 Right, new fix attempted. 28344 7 tim 2009-10-14 14:18:14 +0000 Thanks. 30189 8 tim 2009-12-17 12:23:10 +0000 I made a mistake in Comment #5. The expected result of this test should be false, because the query is equivalent to empty(let $e := <a b ="content"><?b asd?><b/></a> return $e/processing-instruction("b")) 33590 9 frans.englich 2010-03-15 12:38:13 +0000 Agreed, baseline is false in CVS. 33616 10 tim 2010-03-16 14:38:46 +0000 Thanks.