[Bug 10874] New: [XQuery11] Definition of public/private functions

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

           Summary: [XQuery11] Definition of public/private functions
           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


4.18 defines:

A function declaration may use function annotations to specify that a function
is %private or %public (which is the default). [Definition: A private function
is hidden from module import, which can not import it into the function
signatures of another module. ] [Definition: A public function is accessible to
module import, which can import it into the function signatures of another
module. ] It is a static error [err:XQST0106] if a function's annotations
contain more than one annotation named %private or %public.

and 4.12 defines:
[Definition: A module import imports the variable declarations and public
function declarations from one or more library modules into the function
signatures and in-scope variables of the importing module.]

This seems to be somewhat circular!

The text in 4.18 doesn't actually explain how the annotations are used.  The
definitions should read:

[Definition: A private function is a function with a %private annotation. ]
[Definition: A public function is a function without a %private annotation. ]

-- 
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 16:36:52 UTC