[html5] r2051 - [] (0) Make the application cache manifest syntax more extensible. (Bug 5937)

whatwg at whatwg.org whatwg at whatwg.org
Mon Aug 11 17:15:09 PDT 2008


Author: ianh
Date: 2008-08-11 17:15:08 -0700 (Mon, 11 Aug 2008)
New Revision: 2051

Modified:
   index
   source
Log:
[] (0) Make the application cache manifest syntax more extensible. (Bug 5937)

Modified: index
===================================================================
--- index	2008-08-11 23:52:19 UTC (rev 2050)
+++ index	2008-08-12 00:15:08 UTC (rev 2051)
@@ -28,7 +28,7 @@
 
    <h1 id=html-5>HTML 5</h1>
 
-   <h2 class="no-num no-toc" id=draft>Draft Recommendation — 11 August
+   <h2 class="no-num no-toc" id=draft>Draft Recommendation — 12 August
     2008</h2>
 
    <p>You can take part in this work. <a
@@ -34344,14 +34344,65 @@
      labeled "start of line".
 
    <li>
-    <p>This is either a data line or it is syntactically incorrect.</p>
+    <p>If <var title="">line</var> ends with a U+003A COLON (:) character,
+     then set <var title="">mode</var> to "unknown" and jump back to the step
+     labeled "start of line".
 
+   <li>
+    <p>This is either a data line or it is syntactically incorrect.
+
+   <li>
+    <p>Let <var title="">position</var> be a pointer into <var
+     title="">line</var>, initially pointing at the start of the string.
+
+   <li>
+    <p>Let <var title="">tokens</var> be a list of strings, initially empty.
+
+   <li>
+    <p>While <var title="">position</var> doesn't point past the end of <var
+     title="">line</var> and the character at <var title="">position</var> is
+     either a U+0020 SPACE or a U+0009 CHARACTER TABULATION (tab) character,
+     advance <var title="">position</var> to the next character in <var
+     title="">input</var>.
+
+   <li>
+    <p>While <var title="">position</var> doesn't point past the end of <var
+     title="">line</var>:</p>
+
+    <ol>
+     <li>
+      <p>Let <var title="">current token</var> be an empty string.
+
+     <li>
+      <p>While <var title="">position</var> doesn't point past the end of
+       <var title="">line</var> and the character at <var
+       title="">position</var> is neither a U+0020 SPACE nor a U+0009
+       CHARACTER TABULATION (tab) character, add the character at <var
+       title="">position</var> to <var title="">current token</var> and
+       advance <var title="">position</var> to the next character in <var
+       title="">input</var>.
+
+     <li>
+      <p>Add <var title="">current token</var> to the <var
+       title="">tokens</var> list.
+
+     <li>
+      <p>While <var title="">position</var> doesn't point past the end of
+       <var title="">line</var> and the character at <var
+       title="">position</var> is either a U+0020 SPACE or a U+0009 CHARACTER
+       TABULATION (tab) character, advance <var title="">position</var> to
+       the next character in <var title="">input</var>.
+    </ol>
+
+   <li>
+    <p>Process <var title="">tokens</var> as follows:</p>
+
     <dl class=switch>
      <dt>If <var title="">mode</var> is "explicit"
 
      <dd>
-      <p><a href="#resolve" title="resolve a url">Resolve</a> <var
-       title="">line</var>.</p>
+      <p><a href="#resolve" title="resolve a url">Resolve</a> the first item
+       in <var title="">tokens</var>; ignore the rest.</p>
 
       <p>If this fails, then jump back to the step labeled "start of line".</p>
 
@@ -34371,16 +34422,10 @@
      <dt>If <var title="">mode</var> is "fallback"
 
      <dd>
-      <p>If <var title="">line</var> does not contain at least one U+0020
-       SPACE or U+0009 CHARACTER TABULATION (tab) character, then jump back
-       to the step labeled "start of line".</p>
+      <p>Let <var title="">part one</var> be the first token in <var
+       title="">tokens</var>, and let <var title="">part two</var> be the
+       second token in <var title="">tokens</var>.</p>
 
-      <p>Otherwise, let everything before the first U+0020 SPACE or U+0009
-       CHARACTER TABULATION (tab) character in <var title="">line</var> be
-       <var title="">part one</var>, and let everything after the first
-       U+0020 SPACE or U+0009 CHARACTER TABULATION (tab) character in <var
-       title="">line</var> be <var title="">part two</var>.</p>
-
       <p><a href="#resolve" title="resolve a url">Resolve</a> <var
        title="">part one</var> and <var title="">part two</var>.</p>
 
@@ -34418,8 +34463,8 @@
      <dt>If <var title="">mode</var> is "online whitelist"
 
      <dd>
-      <p><a href="#resolve" title="resolve a url">Resolve</a> <var
-       title="">line</var>.</p>
+      <p><a href="#resolve" title="resolve a url">Resolve</a> the first item
+       in <var title="">tokens</var>; ignore the rest.</p>
 
       <p>If this fails, then jump back to the step labeled "start of line".</p>
 
@@ -34435,6 +34480,11 @@
 
       <p>Add the resulting <a href="#absolute">absolute URL</a> to the <var
        title="">online whitelist URLs</var>.</p>
+
+     <dt>If <var title="">mode</var> is "unknown"
+
+     <dd>
+      <p>Do nothing. The line is ignored.</p>
     </dl>
 
    <li>

Modified: source
===================================================================
--- source	2008-08-11 23:52:19 UTC (rev 2050)
+++ source	2008-08-12 00:15:08 UTC (rev 2051)
@@ -31710,18 +31710,71 @@
    title="">mode</var> to "online whitelist" and jump back to the step
    labeled "start of line".</p></li>
 
+   <li><p>If <var title="">line</var> ends with a U+003A COLON (:)
+   character, then set <var title="">mode</var> to "unknown" and jump
+   back to the step labeled "start of line".</p></li>
+
+   <li><p>This is either a data line or it is syntactically
+   incorrect.</p></li>
+
+   <li><p>Let <var title="">position</var> be a pointer into <var
+   title="">line</var>, initially pointing at the start of the
+   string.</p></li>
+
+   <li><p>Let <var title="">tokens</var> be a list of strings,
+   initially empty.</p></li>
+
+   <li><p>While <var title="">position</var> doesn't point past the
+   end of <var title="">line</var> and the character at <var
+   title="">position</var> is either a U+0020 SPACE or a U+0009
+   CHARACTER TABULATION (tab) character, advance <var
+   title="">position</var> to the next character in <var
+   title="">input</var>.</p></li>
+
    <li>
 
-    <p>This is either a data line or it is syntactically incorrect.</p>
+    <p>While <var title="">position</var> doesn't point past the end
+    of <var title="">line</var>:</p>
 
+    <ol>
+
+     <li><p>Let <var title="">current token</var> be an empty
+     string.</p></li>
+
+     <li><p>While <var title="">position</var> doesn't point past the
+     end of <var title="">line</var> and the character at <var
+     title="">position</var> is neither a U+0020 SPACE nor a U+0009
+     CHARACTER TABULATION (tab) character, add the character at <var
+     title="">position</var> to <var title="">current token</var> and
+     advance <var title="">position</var> to the next character in
+     <var title="">input</var>.</p></li>
+
+     <li><p>Add <var title="">current token</var> to the <var
+     title="">tokens</var> list.</p></li>
+
+     <li><p>While <var title="">position</var> doesn't point past the
+     end of <var title="">line</var> and the character at <var
+     title="">position</var> is either a U+0020 SPACE or a U+0009
+     CHARACTER TABULATION (tab) character, advance <var
+     title="">position</var> to the next character in <var
+     title="">input</var>.</p></li>
+
+    </ol>
+
+   </li>
+
+   <li>
+
+    <p>Process <var title="">tokens</var> as follows:</p>
+
     <dl class="switch">
 
      <dt>If <var title="">mode</var> is "explicit"</dt>
 
      <dd>
 
-      <p><span title="resolve a url">Resolve</span> <var
-      title="">line</var>.</p>
+      <p><span title="resolve a url">Resolve</span> the first item in
+      <var title="">tokens</var>; ignore the rest.</p>
 
       <p>If this fails, then jump back to the step labeled "start of
       line".</p>
@@ -31745,17 +31798,10 @@
 
      <dd>
 
-      <p>If <var title="">line</var> does not contain at least one
-      U+0020 SPACE or U+0009 CHARACTER TABULATION (tab) character,
-      then jump back to the step labeled "start of line".</p>
+      <p>Let <var title="">part one</var> be the first token in <var
+      title="">tokens</var>, and let <var title="">part two</var> be
+      the second token in <var title="">tokens</var>.</p>
 
-      <p>Otherwise, let everything before the first U+0020 SPACE or
-      U+0009 CHARACTER TABULATION (tab) character in <var
-      title="">line</var> be <var title="">part one</var>, and let
-      everything after the first U+0020 SPACE or U+0009 CHARACTER
-      TABULATION (tab) character in <var title="">line</var> be <var
-      title="">part two</var>.</p>
-
       <p><span title="resolve a url">Resolve</span> <var title="">part
       one</var> and <var title="">part two</var>.</p>
 
@@ -31799,8 +31845,8 @@
 
      <dd>
 
-      <p><span title="resolve a url">Resolve</span> <var
-      title="">line</var>.</p>
+      <p><span title="resolve a url">Resolve</span> the first item in
+      <var title="">tokens</var>; ignore the rest.</p>
 
       <p>If this fails, then jump back to the step labeled "start of
       line".</p>
@@ -31820,6 +31866,14 @@
 
      </dd>
 
+     <dt>If <var title="">mode</var> is "unknown"</dt>
+
+     <dd>
+
+      <p>Do nothing. The line is ignored.</p>
+
+     </dd>
+
     </dl>
 
    </li>




More information about the Commit-Watchers mailing list