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

[Bug 10881] New: [XQuery11] Editorial Built in function annotations

From: <bugzilla@jessica.w3.org>
Date: Thu, 30 Sep 2010 17:46:30 +0000
To: public-qt-comments@w3.org
Message-ID: <bug-10881-523@http.www.w3.org/Bugs/Public/>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=10881

           Summary: [XQuery11] Editorial Built in function annotations
           Product: XPath / XQuery / XSLT
           Version: Member-only Editors Drafts
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery 1.1
        AssignedTo: jonathan.robie@redhat.com
        ReportedBy: oliver@cbcl.co.uk
         QAContact: public-qt-comments@w3.org
             Group: XSLXQuery_WG


The following sentences are from section 4.18:

A function declaration may use function annotations to specify that a function
is %private or %public (which is the default).

A function declaration may use function annotations to specify that an external
function is %deterministic (which is the default) or %nondeterministic.


Firstly, the term "function annotations" should probably just be changed to
"annotations".

Secondly, there is no concept of an annotation being default.

Thirdly, "public" and "private" are properties of the declaration, not the
function.


I suggest these sentences should be changed to:

A function declaration may use the %public and %private annotations to specify
that a function declaration is public or private.

and

A function declaration may use the %deterministic and %non-deterministic
annotations to specify that a function is deterministic or non-deterministic.


These changes are affected by the outcomes of bug 10874 and bug 10880.

-- 
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 Thursday, 30 September 2010 17:46:36 GMT

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