[Bug 3580] clarify definition of xs:anyType

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 UTC