W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2010

[Bug 8663] New: [XQuery11] additional rule needed for nondeterministic function

From: <bugzilla@wiggum.w3.org>
Date: Wed, 06 Jan 2010 21:33:05 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-8663-523@http.www.w3.org/Bugs/Public/>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=8663

           Summary: [XQuery11] additional rule needed for nondeterministic
                    function
           Product: XPath / XQuery / XSLT
           Version: Working drafts
          Platform: PC
               URL: http://www.w3.org/TR/2009/WD-xquery-11-
                    20091215/#FunctionDeclns
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery 1.1
        AssignedTo: jonathan.robie@redhat.com
        ReportedBy: andrew.eisenberg@us.ibm.com
         QAContact: public-qt-comments@w3.org


The bnf in section 4.17 Function Declaration states:

[31]    FunctionDecl           ::=    "declare" FunctionOptions "function"
QName "(" ParamList? ")" ("as" SequenceType)? (FunctionBody | "external")
[32]    FunctionOptions        ::=    (PrivateOption | DeterministicOption)*
[33]    PrivateOption          ::=    "private" | "public"
[34]    DeterministicOption    ::=    "deterministic" | "nondeterministic"


We later say:

"An XQuery processor can use static analysis to determine whether a
user-defined function is deterministic (the syntax of function declarations
does not allow a user-defined function to be declared deterministic or
nondeterministic)."


We need to raise a static error if DeterministicOption and "external" are both
specified.


-- 
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 Wednesday, 6 January 2010 21:33:06 UTC

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