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 1647 - [FS] technical: NamespaceBindings in CompElemConstructor
Summary: [FS] technical: NamespaceBindings in CompElemConstructor
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Last Call drafts
Hardware: All All
: P2 minor
Target Milestone: ---
Assignee: Jerome Simeon
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2005-07-16 00:04 UTC by Michael Dyck
Modified: 2007-09-18 08:49 UTC (History)
0 users

See Also:


Attachments

Description Michael Dyck 2005-07-16 00:04:56 UTC
In 4.7.1.2 / Norm / rule 3, the RHS is a NamespaceBinding, which means
that back in 4.7.1 / Norm / rule (3|4), the RHS (a CompElemConstructor)
could contain NamespaceBindings in its ContentExpr.  But there is no
support for this in the Core grammar!

One solution would be to add NamespaceBinding as another alternative for
ExprSingle, but that would probably lead to a big mess.

Another solution would be to change (in 4.7.3.1)
   [73 (Core)] ContentExpr ::= Expr
to something like
   [73 (Core)] ContentExpr ::= (NamespaceBindings ",")? Expr
which would make 4.7.1 / Norm / rule (3|4) happy.

Yet another solution would be to modify
   [72 (Core)] CompElemConstructor :: ...
to something like
   [72 (Core)] CompElemConstructor :: ... "{" NamespaceBinding* "}"
a syntax closer to that of ElementValue. This would require minor changes
to 4.7.1 / Norm / rule (3|4).  (I think I prefer this solution.)

Of course, any of these solutions will require changes to the inference
rules in 4.7.3.1.
Comment 1 Jerome Simeon 2005-07-21 00:30:23 UTC
Good catch! This bug resulted from removal of namespace bindings from other
parts of the spec. I like your third solution as the best as well.
- Jerome
Comment 2 Don Chamberlin 2005-07-22 17:22:03 UTC
Michael,
On July 22, 2005, the working group approved Jerome's suggestion to accept the 
third alternative solution proposed in your comment. Since this was one of your 
proposals, we assume you will find this resolution acceptable. If you have any 
further input on this issue, feel free to reopen this comment.
Regards,
Don Chamberlin
Comment 3 Michael Dyck 2006-04-27 08:02:03 UTC
Approval not reflected in the CR.
Comment 4 Jerome Simeon 2006-05-01 00:22:00 UTC
Reviewing the bug activity, it seems this bug may have been marked as closed before it was implemented. So it just got dropped of the work list.
We will try and fix this issue for the next publication.
- Jerome
Comment 5 Jerome Simeon 2006-05-10 17:43:23 UTC
Added the namespace binding in the core grammar as suggested, and fixed the normalization rules to normalize namespace attributes as proper namespace bindings.
- Jerome
Comment 6 Michael Dyck 2006-11-01 23:12:50 UTC
However, not all of the necessary changes have been made in 4.7.3.1 (mostly in the Norm and DEv sections).
Comment 7 Michael Dyck 2007-09-18 08:48:02 UTC
This issue has been entered as FS erratum E003.

A fix has been committed to the source files for the next edition of the FS
document. Consequently, I'm marking this issue resolved-FIXED, and CLOSED.