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 3896 - [FS] editorial: 4.7.1.1 Attributes
Summary: [FS] editorial: 4.7.1.1 Attributes
Status: REOPENED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Candidate Recommendation
Hardware: All All
: P2 minor
Target Milestone: ---
Assignee: Michael Dyck
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-10-30 21:52 UTC by Michael Dyck
Modified: 2010-03-16 21:55 UTC (History)
0 users

See Also:


Attachments

Description Michael Dyck 2006-10-30 21:52:03 UTC
4.7.1.1 Attributes

Notation / prodn 2
[88 (Formal)] AttributeContentUnit ::= EscapeQuot | QuotAttrValueContent
Norm / rule 3
[Prefix:LocalPart S? = S? " AttributeContentUnits "]_Attribute
    Note that these only handle quote-delimited attributes, not
    apos-delimited attributes.

Norm / rule 1
In the RHS, there should be a comma before the ellipsis too.

Norm / rule (2|3)
[[...]]_Attribute (Prefix = xmlns)
[[...]]_Attribute not(Prefix = xmlns)
    According to 3.2.2, there's supposed to be a comma before the extra
    premise.

Norm / rule 6
fn:codepoints-to-string(( Char | CharRef | EscapeQuot | ... )+)
    See bug 1629...
    You can't just plop down a hunk of element content as the argument in
    a function call: it isn't well-formed syntax. E.g., you could get
    something like
        fn:codepoints-to-string(-0A )
    Instead, you could handle it like 4.7.1 / Norm / rule 5, and introduce
    something like []_DirCharsUnit, defined informally. (You can't just
    reuse []_DirCharsUnit, because the semantics aren't quite the same.)

Norm / rule 7
[[ { Expr1, ..., Exprn } ]]_AttributeContentUnit
    The syntax of an EnclosedExpr is just { Expr }.
    As in Bug 3895, change the rule to just
        [[ { Expr } ]]_AttributeContentUnit == [[ Expr ]]_Expr
Comment 1 Jim Melton 2007-02-26 00:22:47 UTC
The fix for this bug does not appear in the Recommendation of 23 January 2007. 
It will be considered for a future publication (either an Errata document or
some possible future version of the specification). 
Comment 2 Michael Dyck 2007-09-11 07:16:24 UTC
(In reply to comment #0)
> 
> Notation / prodn 2
> [88 (Formal)] AttributeContentUnit ::= EscapeQuot | QuotAttrValueContent
> Norm / rule 3
> [Prefix:LocalPart S? = S? " AttributeContentUnits "]_Attribute
>     Note that these only handle quote-delimited attributes, not
>     apos-delimited attributes.
> 
> Norm / rule 6
> fn:codepoints-to-string(( Char | CharRef | EscapeQuot | ... )+)
>     See bug 1629...
>     You can't just plop down a hunk of element content as the argument in
>     a function call: it isn't well-formed syntax. E.g., you could get
>     something like
>         fn:codepoints-to-string(-0A )
>     Instead, you could handle it like 4.7.1 / Norm / rule 5, and introduce
>     something like []_DirCharsUnit, defined informally. (You can't just
>     reuse []_DirCharsUnit, because the semantics aren't quite the same.)

These two points have been resolved by the fix for Bug 1641 (Erratum E001).
Comment 3 Michael Dyck 2008-08-25 02:39:28 UTC
(In reply to comment #0)
> 
> Norm / rule 7
> [[ { Expr1, ..., Exprn } ]]_AttributeContentUnit
>     The syntax of an EnclosedExpr is just { Expr }.
>     As in Bug 3895, change the rule to just
>         [[ { Expr } ]]_AttributeContentUnit == [[ Expr ]]_Expr

That was folded into the fix for FS erratum E031.
Comment 4 Michael Dyck 2010-03-16 21:55:47 UTC
This issue was marked resolved-fixed in what appears to be a random act of vandalism (see http://lists.w3.org/Archives/Public/public-html/2010Mar/0375.html), so I have reopened it.

By the way, the following points remain unresolved:

> Norm / rule 1
> In the RHS, there should be a comma before the ellipsis too.
> 
> Norm / rule (2|3)
> [[...]]_Attribute (Prefix = xmlns)
> [[...]]_Attribute not(Prefix = xmlns)
>     According to 3.2.2, there's supposed to be a comma before the extra
>     premise.