[Bug 10795] provide alternate results for K2-SeqDocFunc-7 and K2-SeqDocFunc-8

https://www.w3.org/Bugs/Public/show_bug.cgi?id=10795

Michael Kay <mike@saxonica.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|XQuery 3 & XPath 3 Test     |Functions and Operators 3.1
                   |Suite                       |
           Assignee|oneil@saxonica.com          |mike@saxonica.com

--- Comment #3 from Michael Kay <mike@saxonica.com> ---
Note a subtle distinction: in the spec of fn:doc, it says:

A dynamic error may be raised [err:FODC0005] if $uri is not a valid URI.

while in the non-normative Appendix B it says

err:FODC0005, Invalid argument to fn:doc or fn:doc-available.
Raised (optionally) by fn:doc and fn:doc-available if the argument is not a
valid xs:anyURI.

Neither is quite right. We should say "a valid URI Reference". 

(a) xs:anyURI is a much wider category than URI, since it also allows IRIs,
LEIRIs, and on some interpretations, any sequence of characters.

(b) We certainly don't intend to exclude things like "source.xml" that are
valid URI references but not valid URIs.

The characters that can appear in a segment of the "path" part of a URI are

pchar         = unreserved / pct-encoded / sub-delims / ":" / "@"

This set does not include backslash.

Therefore the strings passed to doc() in these two tests are not valid URI
References and therefore FODC0005 is an acceptable result.

I propose also to change the specification so that

(a) Under fn:doc(), first error condition, change "URI" to "URI Reference"

(b) In the Appendix description of FODC0005, change "valid xs:anyURI" to "valid
URI Reference".

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Friday, 2 October 2015 14:21:41 UTC