This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 10881 - [XQuery30] Editorial Built in function annotations
Summary: [XQuery30] Editorial Built in function annotations
Status: RESOLVED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: XQuery 3.0 (show other bugs)
Version: Member-only Editors Drafts
Hardware: PC Windows NT
: P2 minor
Target Milestone: ---
Assignee: Jonathan Robie
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2010-09-30 17:46 UTC by Oliver Hallam
Modified: 2011-09-10 19:52 UTC (History)
1 user (show)

See Also:


Attachments

Description Oliver Hallam 2010-09-30 17:46:30 UTC
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.
Comment 1 Jonathan Robie 2011-09-10 19:52:21 UTC
We no longer have %deterministic / %nondeterministic.

I changed this to:

<quote>
A function declaration may use the %private or %public annotations to specify that a function is public or private; if neither of these annotations is used, the function is public.
</quote>

I also changed the definition of public accordingly:

<quote>
A public function is a function without a %private annotation.
</quote>