Bug 20450 - [XQ3.0] Option declarations in the XQuery namespace
[XQ3.0] Option declarations in the XQuery namespace
Status: CLOSED FIXED
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XQuery 3.0
Last Call drafts
PC All
: P2 normal
: ---
Assigned To: Jonathan Robie
Mailing list for public feedback on specs from XSL and XML Query WGs
:
Depends on:
Blocks:
  Show dependency treegraph
 
Reported: 2012-12-19 15:35 UTC by Michael Kay
Modified: 2013-06-19 09:58 UTC (History)
0 users

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Michael Kay 2012-12-19 15:35:40 UTC
Test K-OptionDeclarationProlog-1b reads:

declare option myopt "option value"; true()

and expects success. My implementation raises an error. The specification is unclear.

It's clear that the option is in the XQuery namespace. 

1. The spec says "Each implementation recognizes an implementation-defined set of namespace URIs used in option names." I think it should require that this implementation-defined set always contains the XQuery namespace.

2. The spec says that if an option is not recognized, it is implementation-defined what happens. Either:

(2a) we really mean this, in which case the result of the test is implementation-defined, or

(2b) we want to define a different rule for the XQuery namespace, namely that the implementation must recognize exactly that set of options which are defined in the specification; in which case the expected result of the test should be an error.
Comment 1 Jonathan Robie 2013-01-08 15:43:32 UTC
I agree, and prefer 2b.
Comment 2 Jonathan Robie 2013-01-29 17:16:14 UTC
The Working Group agrees that:

1. The implementation-defined set of namespace URIs used in option names always contains the XQuery namespace.

2. The implementation must recognize exactly that set of options which are defined in the specification; in which case the expected result of the test should be an error.
Comment 3 Michael Kay 2013-01-29 18:00:05 UTC
Minor correction, point 2 applies only to the case where the namespace is the XQuery namespace.