W3C home > Mailing lists > Public > public-qt-comments@w3.org > August 2006

[Bug 3580] clarify definition of xs:anyType

From: <bugzilla@wiggum.w3.org>
Date: Fri, 04 Aug 2006 19:24:31 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1G95Hb-0003xq-1T@wiggum.w3.org>

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

           Summary: clarify definition of xs:anyType
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: jens.teubner@in.tum.de
         QAContact: public-qt-comments@w3.org


Section 3.5.1 of the XQuery Formal Semantics defines the type xs:anyType as

 define type xs:anyType restricts xs:anyType {
    attribute * of type xs:anySimpleType*,
    ( xdt:anyAtomicType* | ( element * of type xs:anyType | text | comment |
processing-instruction )* )
  }

I suggest to make explicit that this is to be read as

 define type xs:anyType restricts xs:anyType {
    ( attribute * of type xs:anySimpleType )*,
    ( xdt:anyAtomicType* | ( element * of type xs:anyType | text | comment |
processing-instruction )* )
  }

(note the parens around the `attribute *' part).
Received on Friday, 4 August 2006 19:24:47 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:14:44 GMT