[Bug 7053] New: [XQX11] cannot represent a catchErrorList wildcard in XQueryX

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

           Summary: [XQX11] cannot represent a catchErrorList wildcard in
                    XQueryX
           Product: XPath / XQuery / XSLT
           Version: Working drafts
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQueryX 1.1
        AssignedTo: jim.melton@acm.org
        ReportedBy: andrew.eisenberg@us.ibm.com
         QAContact: public-qt-comments@w3.org


tryCatchExpr is defined as follows:

[169]    TryCatchExpr     ::=    TryClause CatchClause+
[170]    TryClause        ::=    "try" "{" TryTargetExpr "}"
[171]    TryTargetExpr    ::=    Expr
[172]    CatchClause      ::=    "catch" CatchErrorList CatchVars? "{" Expr "}"
[173]    CatchErrorList   ::=    NameTest ("|" NameTest)*

We also say:

[102]    NameTest         ::=    QName | Wildcard

This allows expressions such as:

try {1} catch * {2}


In XQueryX 1.1 we see:

<!-- CatchErrorList (part of the TryCatchExpression)     -->
<!-- Corresponds to the following XQuery syntax          -->
<!-- CatchErrorList ::=                                  -->
<!--       NameTest ( "|" NameTest )*                    -->

  <xsd:complexType name="catchErrorList">
    <xsd:sequence>
      <xsd:element ref="nameTest" maxOccurs="unbounded"/>
    </xsd:sequence>
  </xsd:complexType>

  <xsd:element name="catchErrorList" type="catchErrorList"/>

We also see:

  <xsd:element name="nameTest" type="QName"/>


I don't believe that we can represent the query above in XQueryX 1.1.
xqx:catchErrorList needs to be able to contain xqx:Wildcard.


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Tuesday, 23 June 2009 20:16:53 UTC