hixie: Clean up the play() and pause() algorithms. (whatwg r3992) from poot on 2009-09-24 (public-html-diffs@w3.org from September 2009)

From: poot <cvsmail@w3.org>
Date: Fri, 25 Sep 2009 05:03:52 +0900 (JST)
To: public-html-diffs@w3.org
Message-Id: <20090924200353.0BE942BC30@toro.w3.mag.keio.ac.jp>
hixie: Clean up the play() and pause() algorithms. (whatwg r3992)

http://dev.w3.org/cvsweb/html5/spec/Overview.html?r1=1.3153&r2=1.3154&f=h
http://html5.org/tools/web-apps-tracker?from=3991&to=3992

===================================================================
RCS file: /sources/public/html5/spec/Overview.html,v
retrieving revision 1.3153
retrieving revision 1.3154
diff -u -d -r1.3153 -r1.3154
--- Overview.html 24 Sep 2009 19:56:45 -0000 1.3153
+++ Overview.html 24 Sep 2009 20:03:30 -0000 1.3154
@@ -20569,16 +20569,15 @@
   must run the following steps.</p>
 
   <ol><li><p>If the <a href="#media-element">media element</a>'s <code title="dom-media-networkState"><a href="#dom-media-networkstate">networkState</a></code> attribute has
-   the value <code title="dom-media-NETWORK_EMPTY"><a href="#dom-media-network_empty">NETWORK_EMPTY</a></code>, then the user
-   agent must invoke the <a href="#media-element">media element</a>'s <a href="#concept-media-load-algorithm" title="concept-media-load-algorithm">resource selection
+   the value <code title="dom-media-NETWORK_EMPTY"><a href="#dom-media-network_empty">NETWORK_EMPTY</a></code>, invoke the
+   <a href="#media-element">media element</a>'s <a href="#concept-media-load-algorithm" title="concept-media-load-algorithm">resource selection
    algorithm</a>.</li>
 
    <li>
 
     <p>If the <a href="#ended-playback" title="ended playback">playback has ended</a>,
-    then the user agent must <a href="#dom-media-seek" title="dom-media-seek">seek</a>
-    to the <a href="#earliest-possible-position">earliest possible position</a> of the <a href="#media-resource">media
-    resource</a>.</p>
+    <a href="#dom-media-seek" title="dom-media-seek">seek</a> to the <a href="#earliest-possible-position">earliest
+    possible position</a> of the <a href="#media-resource">media resource</a>.</p>
 
     <p class="note">This <a href="#seekUpdate">will cause</a> the user
     agent to <a href="#queue-a-task">queue a task</a> to <a href="#fire-a-simple-event">fire a simple
@@ -20590,13 +20589,12 @@
 
    <li>
 
-    <p>If the <a href="#media-element">media element</a>'s <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code> attribute is true, it must
-    be set to false.</p>
-
-    <p>If this changed the value of <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code>, the user agent must run
+    <p>If the <a href="#media-element">media element</a>'s <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code> attribute is true, run
     the following substeps:</p>
 
-    <ol><li><p><a href="#queue-a-task">Queue a task</a> to <a href="#fire-a-simple-event">fire a simple event</a>
+    <ol><li><p>Change the value of <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code> to false.</li>
+
+     <li><p><a href="#queue-a-task">Queue a task</a> to <a href="#fire-a-simple-event">fire a simple event</a>
      called <code title="event-media-play"><a href="#event-media-play">play</a></code> at the element.</li>
 
      <li><p>If the <a href="#media-element">media element</a>'s <code title="dom-media-readyState"><a href="#dom-media-readystate">readyState</a></code> attribute has the
@@ -20616,31 +20614,34 @@
 
     </ol></li>
 
-   <li><p>The <a href="#media-element">media element</a>'s <a href="#autoplaying-flag">autoplaying
-   flag</a> must be set to false.</li>
-
-   <li><p>The method must then return.</li>
+   <li><p>Set the <a href="#media-element">media element</a>'s <a href="#autoplaying-flag">autoplaying
+   flag</a> to false.</li>
 
   </ol><hr><p>When the <dfn id="dom-media-pause" title="dom-media-pause"><code>pause()</code></dfn>
   method is invoked, the user agent must run the following steps:</p>
 
   <ol><li><p>If the <a href="#media-element">media element</a>'s <code title="dom-media-networkState"><a href="#dom-media-networkstate">networkState</a></code> attribute has
-   the value <code title="dom-media-NETWORK_EMPTY"><a href="#dom-media-network_empty">NETWORK_EMPTY</a></code>, then the user
-   agent must invoke the <a href="#media-element">media element</a>'s <a href="#concept-media-load-algorithm" title="concept-media-load-algorithm">resource selection
+   the value <code title="dom-media-NETWORK_EMPTY"><a href="#dom-media-network_empty">NETWORK_EMPTY</a></code>, invoke the
+   <a href="#media-element">media element</a>'s <a href="#concept-media-load-algorithm" title="concept-media-load-algorithm">resource selection
    algorithm</a>.</li>
 
-   <li><p>If the <a href="#media-element">media element</a>'s <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code> attribute is false, it must
-   be set to true.</li>
+   <li><p>Set the <a href="#media-element">media element</a>'s <a href="#autoplaying-flag">autoplaying
+   flag</a> to false.</li>
 
-   <li><p>The <a href="#media-element">media element</a>'s <a href="#autoplaying-flag">autoplaying
-   flag</a> must be set to false.</li>
+   <li><p>If the <a href="#media-element">media element</a>'s <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code> attribute is false, run the
+   following steps:</p>
 
-   <li><p>If the second step above changed the value of <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code>, then the user agent must
-   <a href="#queue-a-task">queue a task</a> to <a href="#fire-a-simple-event">fire a simple event</a>
-   called <code title="event-media-timeupdate"><a href="#event-media-timeupdate">timeupdate</a></code> at the
-   element, and <a href="#queue-a-task">queue a task</a> to <a href="#fire-a-simple-event">fire a simple
-   event</a> called <code title="event-media-pause"><a href="#event-media-pause">pause</a></code> at the
-   element.</li>
+    <ol><li><p>Change the value of <code title="dom-media-paused"><a href="#dom-media-paused">paused</a></code> to true.</li>
+
+     <li><p><a href="#queue-a-task">Queue a task</a> to <a href="#fire-a-simple-event">fire a simple
+     event</a> called <code title="event-media-timeupdate"><a href="#event-media-timeupdate">timeupdate</a></code> at the
+     element.</li>
+
+     <li><p><a href="#queue-a-task">Queue a task</a> to <a href="#fire-a-simple-event">fire a simple
+     event</a> called <code title="event-media-pause"><a href="#event-media-pause">pause</a></code>
+     at the element.</li>
+
+    </ol></li>
 
   </ol><hr><p id="media-playback">When a <a href="#media-element">media element</a> is
   <a href="#potentially-playing">potentially playing</a> and its <code>Document</code> is an
Received on Thursday, 24 September 2009 20:04:28 UTC