- From: <bugzilla@wiggum.w3.org>
- Date: Fri, 22 Jul 2005 04:47:48 +0000
- To: public-qt-comments@w3.org
- Cc:
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