W3C home > Mailing lists > Public > public-webapps@w3.org > January to March 2011

[Bug 11669] New: Section: "Parsing an event stream" It looks like their is a mistake in this ABNF description, "end-of-line" is repeated: stream = [ bom ] *event event = *( comment / field ) end-of-line comment = colon *any-char end-of-line field

From: <bugzilla@jessica.w3.org>
Date: Wed, 05 Jan 2011 09:41:29 +0000
To: public-webapps@w3.org
Message-ID: <bug-11669-2927@http.www.w3.org/Bugs/Public/>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=11669

           Summary: Section: "Parsing an event stream" It looks like their
                    is a mistake in this ABNF description, "end-of-line"
                    is repeated:  stream        = [ bom ] *event event
                        = *( comment / field ) end-of-line comment       =
                    colon *any-char end-of-line field
           Product: WebAppsWG
           Version: unspecified
          Platform: Other
               URL: http://www.whatwg.org/specs/web-apps/current-work/#top
        OS/Version: other
            Status: NEW
          Severity: normal
          Priority: P3
         Component: Server-Sent Events (editor: Ian Hickson)
        AssignedTo: ian@hixie.ch
        ReportedBy: contributor@whatwg.org
         QAContact: member-webapi-cvs@w3.org
                CC: mike@w3.org, public-webapps@w3.org


Specification: http://dev.w3.org/html5/eventsource/
Section: http://www.whatwg.org/specs/web-apps/current-work/complete.html#top

Comment:
Section: "Parsing an event stream"

It looks like their is a mistake in this ABNF description, "end-of-line" is
repeated: 

stream          = [ bom ] *event
event          = *( comment / field ) end-of-line
comment       = colon *any-char end-of-line
field          = 1*name-char [ colon [ space ] *any-char ] end-of-line
end-of-line   = ( cr lf / cr / lf / eof )
eof          = < matches repeatedly at the end of the stream >

If "end-of-line" is set at the end of the "event" description, it shouldn't be
repeated at the end of the "comment" and "field" descriptions.

"eof" could be proposed as an alternative of "end-of-line" instead of being
part of the "end-of-line" description

Update proposal:

stream          = [ bom ] *event
event          = *( comment / field ) (end-of-line / eof)
comment       = colon *any-char
field          = 1*name-char [ colon [ space ] *any-char ]
end-of-line   = ( cr lf / cr / lf )
eof          = < matches repeatedly at the end of the stream >


Posted from: 81.57.192.30

-- 
Configure bugmail: http://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 Wednesday, 5 January 2011 09:44:41 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 18:49:42 GMT