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

[Bug 17452] New: WebIDL: at some places in the grammar you probably intend mandatory whitespace

From: <bugzilla@jessica.w3.org>
Date: Sat, 09 Jun 2012 10:22:59 +0000
To: public-script-coord@w3.org
Message-ID: <bug-17452-3890@http.www.w3.org/Bugs/Public/>
https://www.w3.org/Bugs/Public/show_bug.cgi?id=17452

           Summary: WebIDL: at some places in the grammar you probably
                    intend mandatory whitespace
           Product: WebAppsWG
           Version: unspecified
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: major
          Priority: P2
         Component: WebIDL
        AssignedTo: cam@mcc.id.au
        ReportedBy: wolfgangkeller@gmail.com
         QAContact: public-webapps-bugzilla@w3.org
                CC: mike@w3.org, public-script-coord@w3.org


To quote from the WebIDL specification:

"Implicitly, the whitespace terminal is allowed between every terminal in the
input text being parsed. Such whitespace terminals, which actually encompass
both whitespace and comments, are ignored while parsing."

I believe at some places in the grammar you want to put mandatory whitespace
between the terminals because otherwise the grammar would probably not be
unique.

An example of such a rule is
[25]    ImplementsStatement    →    identifier "implements" identifier ";"

Here you surely want to put a mandatory whitespace between identifier and
"implements" because otherwise we could not detect whether

"fooimplementsbarimplementsbluv" stands for
"fooimplementsbar implements bluv"
or
"foo implements barimplementsbluv".

You should mark all places where you want to require mandatory whitespaces.

-- 
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
Received on Saturday, 9 June 2012 10:23:01 UTC

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