[html5] r2675 - [e] (0) Replace fake BNF with real ABNF.

whatwg at whatwg.org whatwg at whatwg.org
Thu Jan 15 17:58:28 PST 2009


Author: ianh
Date: 2009-01-15 17:58:27 -0800 (Thu, 15 Jan 2009)
New Revision: 2675

Modified:
   index
   source
Log:
[e] (0) Replace fake BNF with real ABNF.

Modified: index
===================================================================
--- index	2009-01-16 01:45:34 UTC (rev 2674)
+++ index	2009-01-16 01:58:27 UTC (rev 2675)
@@ -10188,20 +10188,23 @@
   contents of the <code><a href=#script>script</a></code> element, if any, must be such
   that the value of the DOM <code title=dom-script-text><a href=#dom-script-text>text</a></code>
   attribute, which is derived from the element's contents, matches the
-  <code>documentation</code> production in the following ABNF. <a href=#refsABNF>[ABNF]</a></p> <!-- XXX
+  <code title="">documentation</code> production in the following
+  ABNF. <a href=#refsABNF>[ABNF]</a></p> <!-- XXX
   ftp://ftp.rfc-editor.org/in-notes/std/std68.txt -->
 
   <pre>documentation ::= *( *( space / tab / comment ) [ line-comment ] newline )
 comment       ::= slash star *( not-star / star not-slash ) 1*star slash
 line-comment  ::= slash slash *not-newline
+
+; characters
 space         ::= < a U+0020 SPACE character >
 tab           ::= < a U+0009 TAB character >
 newline       ::= < a U+000A LINE FEED character >
 star          ::= < a U+002A ASTERISK character >
 slash         ::= < a U+002F SOLIDUS character >
-not-star      ::= < a single Unicode character other than a U+002A ASTERISK character >
-not-slash     ::= < a single Unicode character other than a U+002F SOLIDUS character >
-not-newline   ::= < a single Unicode character other than a U+000A LINE FEED character ></pre>
+not-newline   ::= < a single Unicode character other than U+000A LINE FEED >
+not-star      ::= < a single Unicode character other than U+002A ASTERISK >
+not-slash     ::= < a single Unicode character other than U+002F SOLIDUS ></pre>
 
   <div class=example>
 
@@ -44129,27 +44132,24 @@
   <p>This event stream format's MIME type is
   <code>text/event-stream</code>.</p>
 
-  <p>The event stream format is (in pseudo-BNF):</p>
+  <p>The event stream format is as described by the <code title="">stream</code> production of the following ABNF. <a href=#refsABNF>[ABNF]</a></p> <!-- XXX
+  ftp://ftp.rfc-editor.org/in-notes/std/std68.txt -->
 
-  <pre><stream>          ::= <bom>? <event>*
-<event>           ::= [ <comment> | <field> ]* <newline>
-<comment>         ::= <colon> <any-char>* <newline>
-<field>           ::= <name-char>+ [ <colon> <space>? <any-char>* ]? <newline>
+  <pre>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 ></pre>
 
-# characters:
-<bom>             ::= a single U+FEFF BYTE ORDER MARK character
-<space>           ::= a single U+0020 SPACE character (' ')
-<newline>         ::= a U+000D CARRIAGE RETURN character
-                      followed by a U+000A LINE FEED character
-                      | a single U+000D CARRIAGE RETURN character
-                      | a single U+000A LINE FEED character
-                      | the end of the file
-<colon>           ::= a single U+003A COLON character (':')
-<name-char>       ::= a single Unicode character other than
-                      U+003A COLON, U+000D CARRIAGE RETURN and U+000A LINE FEED
-<any-char>        ::= a single Unicode character other than
-                      U+000D CARRIAGE RETURN and U+000A LINE FEED
-</pre>
+; characters
+bom           ::= < a single U+FEFF BYTE ORDER MARK character >
+space         ::= < a single U+0020 SPACE character >
+colon         ::= < a single U+003A COLON character >
+cr            ::= < a single U+000D CARRIAGE RETURN character >
+lf            ::= < a single U+000A LINE FEED character >
+name-char     ::= < a single Unicode character other than U+003A COLON, U+000D CARRIAGE RETURN and U+000A LINE FEED >
+any-char      ::= < a single Unicode character other than U+000D CARRIAGE RETURN and U+000A LINE FEED >
 
   <p>Event streams in this format must always be encoded as
   UTF-8.</p>

Modified: source
===================================================================
--- source	2009-01-16 01:45:34 UTC (rev 2674)
+++ source	2009-01-16 01:58:27 UTC (rev 2675)
@@ -10795,21 +10795,23 @@
   contents of the <code>script</code> element, if any, must be such
   that the value of the DOM <code title="dom-script-text">text</code>
   attribute, which is derived from the element's contents, matches the
-  <code>documentation</code> production in the following ABNF. <a
-  href="#refsABNF">[ABNF]</a></p> <!-- XXX
+  <code title="">documentation</code> production in the following
+  ABNF. <a href="#refsABNF">[ABNF]</a></p> <!-- XXX
   ftp://ftp.rfc-editor.org/in-notes/std/std68.txt -->
 
   <pre>documentation ::= *( *( space / tab / comment ) [ line-comment ] newline )
 comment       ::= slash star *( not-star / star not-slash ) 1*star slash
 line-comment  ::= slash slash *not-newline
+
+; characters
 space         ::= < a U+0020 SPACE character >
 tab           ::= < a U+0009 TAB character >
 newline       ::= < a U+000A LINE FEED character >
 star          ::= < a U+002A ASTERISK character >
 slash         ::= < a U+002F SOLIDUS character >
-not-star      ::= < a single Unicode character other than a U+002A ASTERISK character >
-not-slash     ::= < a single Unicode character other than a U+002F SOLIDUS character >
-not-newline   ::= < a single Unicode character other than a U+000A LINE FEED character ></pre>
+not-newline   ::= < a single Unicode character other than U+000A LINE FEED >
+not-star      ::= < a single Unicode character other than U+002A ASTERISK >
+not-slash     ::= < a single Unicode character other than U+002F SOLIDUS ></pre>
 
   <div class="example">
 
@@ -50355,27 +50357,26 @@
   <p>This event stream format's MIME type is
   <code>text/event-stream</code>.</p>
 
-  <p>The event stream format is (in pseudo-BNF):</p>
+  <p>The event stream format is as described by the <code
+  title="">stream</code> production of the following ABNF. <a
+  href="#refsABNF">[ABNF]</a></p> <!-- XXX
+  ftp://ftp.rfc-editor.org/in-notes/std/std68.txt -->
 
-  <pre><stream>          ::= <bom>? <event>*
-<event>           ::= [ <comment> | <field> ]* <newline>
-<comment>         ::= <colon> <any-char>* <newline>
-<field>           ::= <name-char>+ [ <colon> <space>? <any-char>* ]? <newline>
+  <pre>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 ></pre>
 
-# characters:
-<bom>             ::= a single U+FEFF BYTE ORDER MARK character
-<space>           ::= a single U+0020 SPACE character (' ')
-<newline>         ::= a U+000D CARRIAGE RETURN character
-                      followed by a U+000A LINE FEED character
-                      | a single U+000D CARRIAGE RETURN character
-                      | a single U+000A LINE FEED character
-                      | the end of the file
-<colon>           ::= a single U+003A COLON character (':')
-<name-char>       ::= a single Unicode character other than
-                      U+003A COLON, U+000D CARRIAGE RETURN and U+000A LINE FEED
-<any-char>        ::= a single Unicode character other than
-                      U+000D CARRIAGE RETURN and U+000A LINE FEED
-</pre>
+; characters
+bom           ::= < a single U+FEFF BYTE ORDER MARK character >
+space         ::= < a single U+0020 SPACE character >
+colon         ::= < a single U+003A COLON character >
+cr            ::= < a single U+000D CARRIAGE RETURN character >
+lf            ::= < a single U+000A LINE FEED character >
+name-char     ::= < a single Unicode character other than U+003A COLON, U+000D CARRIAGE RETURN and U+000A LINE FEED >
+any-char      ::= < a single Unicode character other than U+000D CARRIAGE RETURN and U+000A LINE FEED >
 
   <p>Event streams in this format must always be encoded as
   UTF-8.</p>




More information about the Commit-Watchers mailing list