[html5] r6180 - [] (0) Explicitly say that ranges are inclusive. Fixing http://www.w3.org/Bugs/P [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2011-06-02 17:23:59 -0700 (Thu, 02 Jun 2011)
New Revision: 6180

Modified:
   complete.html
   index
   source
Log:
[] (0) Explicitly say that ranges are inclusive.
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=12186

Modified: complete.html
===================================================================
--- complete.html	2011-06-03 00:15:28 UTC (rev 6179)
+++ complete.html	2011-06-03 00:23:59 UTC (rev 6180)
@@ -33823,6 +33823,14 @@
   overlap, aren't empty, and don't touch (adjacent ranges are folded
   into one bigger range).</p>
 
+  <p>Ranges in a <code><a href=#timeranges>TimeRanges</a></code> object must be inclusive.</p>
+
+  <p class=example>Thus, the end of a range would be equal to the
+  start of a following adjacent (touching but not overlapping) range.
+  Similarly, a range covering a whole timeline anchored at zero would
+  have a start equal to zero and an end equal to the duration of the
+  timeline.</p>
+
   <p>The timelines used by the objects returned by the <code title=dom-media-buffered><a href=#dom-media-buffered>buffered</a></code>, <code title=dom-media-seekable><a href=#dom-media-seekable>seekable</a></code> and <code title=dom-media-played><a href=#dom-media-played>played</a></code> IDL attributes of <a href=#media-element title="media element">media elements</a> must be that element's
   <a href=#media-timeline>media timeline</a>.</p>
 

Modified: index
===================================================================
--- index	2011-06-03 00:15:28 UTC (rev 6179)
+++ index	2011-06-03 00:23:59 UTC (rev 6180)
@@ -33812,6 +33812,14 @@
   overlap, aren't empty, and don't touch (adjacent ranges are folded
   into one bigger range).</p>
 
+  <p>Ranges in a <code><a href=#timeranges>TimeRanges</a></code> object must be inclusive.</p>
+
+  <p class=example>Thus, the end of a range would be equal to the
+  start of a following adjacent (touching but not overlapping) range.
+  Similarly, a range covering a whole timeline anchored at zero would
+  have a start equal to zero and an end equal to the duration of the
+  timeline.</p>
+
   <p>The timelines used by the objects returned by the <code title=dom-media-buffered><a href=#dom-media-buffered>buffered</a></code>, <code title=dom-media-seekable><a href=#dom-media-seekable>seekable</a></code> and <code title=dom-media-played><a href=#dom-media-played>played</a></code> IDL attributes of <a href=#media-element title="media element">media elements</a> must be that element's
   <a href=#media-timeline>media timeline</a>.</p>
 

Modified: source
===================================================================
--- source	2011-06-03 00:15:28 UTC (rev 6179)
+++ source	2011-06-03 00:23:59 UTC (rev 6180)
@@ -37331,6 +37331,14 @@
   overlap, aren't empty, and don't touch (adjacent ranges are folded
   into one bigger range).</p>
 
+  <p>Ranges in a <code>TimeRanges</code> object must be inclusive.</p>
+
+  <p class="example">Thus, the end of a range would be equal to the
+  start of a following adjacent (touching but not overlapping) range.
+  Similarly, a range covering a whole timeline anchored at zero would
+  have a start equal to zero and an end equal to the duration of the
+  timeline.</p>
+
   <p>The timelines used by the objects returned by the <code
   title="dom-media-buffered">buffered</code>, <code
   title="dom-media-seekable">seekable</code> and <code