[Bug 3896] [FS] editorial: 4.7.1.1 Attributes

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3896

           Summary: [FS] editorial: 4.7.1.1 Attributes
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: minor
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: jmdyck@ibiblio.org
         QAContact: public-qt-comments@w3.org


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

Received on Monday, 30 October 2006 21:52:19 UTC