W3C home > Mailing lists > Public > public-script-coord@w3.org > October to December 2012

[Bug 20453] New: 3.1: two questions re underscore removal

From: <bugzilla@jessica.w3.org>
Date: Thu, 20 Dec 2012 04:55:45 +0000
To: public-script-coord@w3.org
Message-ID: <bug-20453-3890@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=20453

            Bug ID: 20453
           Summary: 3.1: two questions re underscore removal
    Classification: Unclassified
           Product: WebAppsWG
           Version: unspecified
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: WebIDL
          Assignee: cam@mcc.id.au
          Reporter: jmdyck@ibiblio.org
        QA Contact: public-webapps-bugzilla@w3.org
                CC: mike@w3.org, public-script-coord@w3.org

In 3.1, a couple of places say:
    the identifier [of some construct] is the value of the identifier token
with
    any single leading U+005F LOW LINE ("_") character (underscore) removed.

(1)
The significance of the word 'single' is unclear. It could mean:
    (a) if the value of the identifier token begins with exactly one
underscore,
        it is removed.
or
    (b) if the value of the identifier token begins with one or more
underscores,
        exactly one is removed.

E.g., if the value of the identifier token is "__foo", is the identifier
(a) '__foo' or (b) '_foo' ?


(2)
The production:
    identifier = [A-Z_a-z][0-9A-Z_a-z]*
allows an identifier token whose value is a single underscore.
This seems to imply that the resulting identifier has no characters.
Is that intended?

-- 
You are receiving this mail because:
You are on the CC list for the bug.
Received on Thursday, 20 December 2012 04:55:47 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 8 May 2013 19:30:08 UTC