W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2005

[Bug 1808] New: [FS] editorial: E.1.5.3 Annotate

From: <bugzilla@wiggum.w3.org>
Date: Fri, 22 Jul 2005 04:47:48 +0000
To: public-qt-comments@w3.org
Cc:
Message-Id: <E1DvpRs-0006Wz-I8@wiggum.w3.org>

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

           Summary: [FS] editorial: E.1.5.3 Annotate
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: jmdyck@ibiblio.org
         QAContact: public-qt-comments@w3.org


E.1.5.3 Annotate

"serialization followed by construction a new data model value"
    Insert "of" before "a".

Notation
"statEnv |- annotate as Type ( Value1 ) => Value2"
    I think it would be more readable if you phrased it as
        annotate Value1 as Type => Value2
    or
        Value1 annotated as Type => Value2
    (Ditto for nil-annotate and simply annotate.)

Sem / rule 1 / conclusion
"annotate as () (()) => ()"
    Change the first "()" (the Type) to "empty".
(leftover from last year, comment #267)

Sem / rule (10|11|12)
"nil-annotate as Type Nillable?"
     Change to
          nil-annotate as Nillable? Type
(leftover from last year, comment #268)

Sem / rule 11 / premise 1
"Value filter @xsi:type => TypeName"
    The 'filter' judgment "yields" a SimpleValue, not a TypeName.
(leftover from last year, comment #269)

Sem / rule 11 / premise 2
"statEnv |- XsiTypeReference = of type TypeName"
    I don't think statEnv is needed for this judgment.
(leftover from last year, comment #270)

Sem / rule 12 / conclusion
"attribute AttributeName of type xs:anySimpleType { Value }"
"attribute AttributeName of type TypeName { Value' }"
    Attribute content is SimpleValue, not Value.

Sem / rule 15 / premise 1
"String as xs:anySimpleType"
    s/as/of type/
(leftover from last year, comment #271)

Sem / rule (15|16) / conclusion
"annotate as SimpleType ( SimpleValue )"
    SimpleValue is not a Value, and so does not conform to judgment form
    declaration.
Received on Friday, 22 July 2005 04:47:50 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:25 UTC