[Bug 16104] New: Distinct annotation names; and error XQST0116

https://www.w3.org/Bugs/Public/show_bug.cgi?id=16104

           Summary: Distinct annotation names; and error XQST0116
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery 3.0
        AssignedTo: jonathan.robie@gmail.com
        ReportedBy: mike@saxonica.com
         QAContact: public-qt-comments@w3.org


(1) I think there should be a rule that the annotations on a variable or
function should have distinct names. Without such a rule, annotion assertions
don't seem to make much sense. We don't seem to have such a rule at the moment.

(2) Quote:

 It is a static error [err:XQST0116] if a variable declaration's's annotations
contain more than one annotation named %private or %public.

Three problems here.

(a) the doubled "'s"

(b) the sentence is ambiguous, it doesn't really state clearly that you can't
have one annotation named %private and another named %public. 

(c) there is no corresponding error for function annotations.

If we fix (1) above then we can write this as

It is a static error [err:XQST0116] if the set of annotations on a function
declaration or variable declaration inlcudes both a %public and a %private
annotation.

-- 
Configure bugmail: https://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 Friday, 24 February 2012 10:52:12 UTC