This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 20450 - [XQ3.0] Option declarations in the XQuery namespace
Summary: [XQ3.0] Option declarations in the XQuery namespace
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XQuery 3.0 (show other bugs)
Version: Last Call drafts
Hardware: PC All
: P2 normal
Target Milestone: ---
Assignee: Jonathan Robie
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-12-19 15:35 UTC by Michael Kay
Modified: 2013-06-19 09:58 UTC (History)
0 users

See Also:


Attachments

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.