[html5] r5120 - [ac] (0) Captions - Stage 11.9: Fixing WebSRT syntax bugs zcorpan found
whatwg at whatwg.org
whatwg at whatwg.org
Tue Jun 29 12:52:27 PDT 2010
Author: ianh
Date: 2010-06-29 12:52:24 -0700 (Tue, 29 Jun 2010)
New Revision: 5120
Modified:
complete.html
index
source
Log:
[ac] (0) Captions - Stage 11.9: Fixing WebSRT syntax bugs zcorpan found
Modified: complete.html
===================================================================
--- complete.html 2010-06-29 19:23:21 UTC (rev 5119)
+++ complete.html 2010-06-29 19:52:24 UTC (rev 5120)
@@ -26674,7 +26674,7 @@
<p>A <dfn id=websrt-cue>WebSRT cue</dfn> consists of the following components, in
the given order:</p>
- <ol><li>Optionally, a <a href=#websrt-cue-identifier>WebSRT cue identifier</a>.</li>
+ <ol><li>Optionally, a <a href=#websrt-cue-identifier>WebSRT cue identifier</a> followed by a <a href=#websrt-line-terminator>WebSRT line terminator</a>.</li>
<li><a href=#websrt-cue-timings>WebSRT cue timings</a>.</li>
<li>Optionally, one or more U+0020 SPACE characters or U+0009 CHARACTER TABULATION (tab) characters followed by <a href=#websrt-cue-settings>WebSRT cue settings</a>.</li>
<li>A <a href=#websrt-line-terminator>WebSRT line terminator</a>.</li>
@@ -26699,7 +26699,9 @@
<ol><!-- we could allow leading and trailing spaces and tabs, and make
the space between the arrow either optional or allow multiple
spaces or tabs --><li>A <a href=#websrt-timestamp>WebSRT timestamp</a> representing the start time
- offset of the cue.</li>
+ offset of the cue. The time represented by this <a href=#websrt-timestamp>WebSRT
+ timestamp</a> must be greater than the start time offsets of all
+ previous cues in the file.</li>
<li>A U+0020 SPACE character.</li>
@@ -26709,7 +26711,9 @@
<li>A U+0020 SPACE character.</li>
<li>A <a href=#websrt-timestamp>WebSRT timestamp</a> representing the end time
- offset of the cue.</li>
+ offset of the cue. The time represented by this <a href=#websrt-timestamp>WebSRT
+ timestamp</a> must be greater than the start time offset of the
+ cue.</li>
</ol><p>A <dfn id=websrt-timestamp>WebSRT timestamp</dfn> representing hour <var title="">hours</var>, minutes <var title="">minutes</var>, seconds
<var title="">seconds</var>, and thousandths of a second <var title="">seconds-frac</var>, consists of the following components,
@@ -26743,12 +26747,7 @@
<li>Three characters in the range U+0030 DIGIT ZERO (0) to U+0039
DIGIT NINE (9), representing the thousandths of a second <var title="">seconds-frac</var> as a base ten integer.</li>
- </ol><p>Each <a href=#websrt-timestamp>WebSRT timestamp</a> in a <a href=#websrt-file>WebSRT file</a>
- must represent a time greater than than all the times represented by
- <a href=#websrt-timestamp title="WebSRT timestamp">WebSRT timestamps</a> earlier in
- the file.</p>
-
- <p>The <dfn id=websrt-cue-settings>WebSRT cue settings</dfn> part of a <a href=#websrt-cue>WebSRT
+ </ol><p>The <dfn id=websrt-cue-settings>WebSRT cue settings</dfn> part of a <a href=#websrt-cue>WebSRT
cue</a> consists of zero or more of the following components, in
any order, separated from each other by one or more U+0020 SPACE
characters or U+0009 CHARACTER TABULATION (tab) characters. Each
@@ -26847,7 +26846,11 @@
<p>A <dfn id=websrt-cue-timestamp>WebSRT cue timestamp</dfn> consists of a U+003C LESS-THAN
SIGN character (<), followed by a <a href=#websrt-timestamp>WebSRT timestamp</a>
representing the time that the given point in the cue becomes
- active, followed by a U+003E GREATER-THAN SIGN character (>).</p>
+ active, followed by a U+003E GREATER-THAN SIGN character (>). The
+ time represented by the <a href=#websrt-timestamp>WebSRT timestamp</a> must be
+ greater than the times represented by any previous <a href=#websrt-cue-timestamp title="WebSRT cue timestamp">WebSRT cue timestamps</a> in the
+ cue, as well as greater than the cue's start time offset, and less
+ than the cue's end time offset.</p>
<p>A <dfn id=websrt-cue-italics-span>WebSRT cue italics span</dfn> consists of a U+003C
LESS-THAN SIGN character (<), a U+0069 LATIN SMALL LETTER I
Modified: index
===================================================================
--- index 2010-06-29 19:23:21 UTC (rev 5119)
+++ index 2010-06-29 19:52:24 UTC (rev 5120)
@@ -26601,7 +26601,7 @@
<p>A <dfn id=websrt-cue>WebSRT cue</dfn> consists of the following components, in
the given order:</p>
- <ol><li>Optionally, a <a href=#websrt-cue-identifier>WebSRT cue identifier</a>.</li>
+ <ol><li>Optionally, a <a href=#websrt-cue-identifier>WebSRT cue identifier</a> followed by a <a href=#websrt-line-terminator>WebSRT line terminator</a>.</li>
<li><a href=#websrt-cue-timings>WebSRT cue timings</a>.</li>
<li>Optionally, one or more U+0020 SPACE characters or U+0009 CHARACTER TABULATION (tab) characters followed by <a href=#websrt-cue-settings>WebSRT cue settings</a>.</li>
<li>A <a href=#websrt-line-terminator>WebSRT line terminator</a>.</li>
@@ -26626,7 +26626,9 @@
<ol><!-- we could allow leading and trailing spaces and tabs, and make
the space between the arrow either optional or allow multiple
spaces or tabs --><li>A <a href=#websrt-timestamp>WebSRT timestamp</a> representing the start time
- offset of the cue.</li>
+ offset of the cue. The time represented by this <a href=#websrt-timestamp>WebSRT
+ timestamp</a> must be greater than the start time offsets of all
+ previous cues in the file.</li>
<li>A U+0020 SPACE character.</li>
@@ -26636,7 +26638,9 @@
<li>A U+0020 SPACE character.</li>
<li>A <a href=#websrt-timestamp>WebSRT timestamp</a> representing the end time
- offset of the cue.</li>
+ offset of the cue. The time represented by this <a href=#websrt-timestamp>WebSRT
+ timestamp</a> must be greater than the start time offset of the
+ cue.</li>
</ol><p>A <dfn id=websrt-timestamp>WebSRT timestamp</dfn> representing hour <var title="">hours</var>, minutes <var title="">minutes</var>, seconds
<var title="">seconds</var>, and thousandths of a second <var title="">seconds-frac</var>, consists of the following components,
@@ -26670,12 +26674,7 @@
<li>Three characters in the range U+0030 DIGIT ZERO (0) to U+0039
DIGIT NINE (9), representing the thousandths of a second <var title="">seconds-frac</var> as a base ten integer.</li>
- </ol><p>Each <a href=#websrt-timestamp>WebSRT timestamp</a> in a <a href=#websrt-file>WebSRT file</a>
- must represent a time greater than than all the times represented by
- <a href=#websrt-timestamp title="WebSRT timestamp">WebSRT timestamps</a> earlier in
- the file.</p>
-
- <p>The <dfn id=websrt-cue-settings>WebSRT cue settings</dfn> part of a <a href=#websrt-cue>WebSRT
+ </ol><p>The <dfn id=websrt-cue-settings>WebSRT cue settings</dfn> part of a <a href=#websrt-cue>WebSRT
cue</a> consists of zero or more of the following components, in
any order, separated from each other by one or more U+0020 SPACE
characters or U+0009 CHARACTER TABULATION (tab) characters. Each
@@ -26774,7 +26773,11 @@
<p>A <dfn id=websrt-cue-timestamp>WebSRT cue timestamp</dfn> consists of a U+003C LESS-THAN
SIGN character (<), followed by a <a href=#websrt-timestamp>WebSRT timestamp</a>
representing the time that the given point in the cue becomes
- active, followed by a U+003E GREATER-THAN SIGN character (>).</p>
+ active, followed by a U+003E GREATER-THAN SIGN character (>). The
+ time represented by the <a href=#websrt-timestamp>WebSRT timestamp</a> must be
+ greater than the times represented by any previous <a href=#websrt-cue-timestamp title="WebSRT cue timestamp">WebSRT cue timestamps</a> in the
+ cue, as well as greater than the cue's start time offset, and less
+ than the cue's end time offset.</p>
<p>A <dfn id=websrt-cue-italics-span>WebSRT cue italics span</dfn> consists of a U+003C
LESS-THAN SIGN character (<), a U+0069 LATIN SMALL LETTER I
Modified: source
===================================================================
--- source 2010-06-29 19:23:21 UTC (rev 5119)
+++ source 2010-06-29 19:52:24 UTC (rev 5120)
@@ -28875,7 +28875,7 @@
the given order:</p>
<ol>
- <li>Optionally, a <span>WebSRT cue identifier</span>.</li>
+ <li>Optionally, a <span>WebSRT cue identifier</span> followed by a <span>WebSRT line terminator</span>.</li>
<li><span>WebSRT cue timings</span>.</li>
<li>Optionally, one or more U+0020 SPACE characters or U+0009 CHARACTER TABULATION (tab) characters followed by <span>WebSRT cue settings</span>.</li>
<li>A <span>WebSRT line terminator</span>.</li>
@@ -28909,7 +28909,9 @@
spaces or tabs -->
<li>A <span>WebSRT timestamp</span> representing the start time
- offset of the cue.</li>
+ offset of the cue. The time represented by this <span>WebSRT
+ timestamp</span> must be greater than the start time offsets of all
+ previous cues in the file.</li>
<li>A U+0020 SPACE character.</li>
@@ -28919,7 +28921,9 @@
<li>A U+0020 SPACE character.</li>
<li>A <span>WebSRT timestamp</span> representing the end time
- offset of the cue.</li>
+ offset of the cue. The time represented by this <span>WebSRT
+ timestamp</span> must be greater than the start time offset of the
+ cue.</li>
</ol>
@@ -28968,11 +28972,6 @@
</ol>
- <p>Each <span>WebSRT timestamp</span> in a <span>WebSRT file</span>
- must represent a time greater than than all the times represented by
- <span title="WebSRT timestamp">WebSRT timestamps</span> earlier in
- the file.</p>
-
<p>The <dfn>WebSRT cue settings</dfn> part of a <span>WebSRT
cue</span> consists of zero or more of the following components, in
any order, separated from each other by one or more U+0020 SPACE
@@ -29104,7 +29103,12 @@
<p>A <dfn>WebSRT cue timestamp</dfn> consists of a U+003C LESS-THAN
SIGN character (<), followed by a <span>WebSRT timestamp</span>
representing the time that the given point in the cue becomes
- active, followed by a U+003E GREATER-THAN SIGN character (>).</p>
+ active, followed by a U+003E GREATER-THAN SIGN character (>). The
+ time represented by the <span>WebSRT timestamp</span> must be
+ greater than the times represented by any previous <span
+ title="WebSRT cue timestamp">WebSRT cue timestamps</span> in the
+ cue, as well as greater than the cue's start time offset, and less
+ than the cue's end time offset.</p>
<p>A <dfn>WebSRT cue italics span</dfn> consists of a U+003C
LESS-THAN SIGN character (<), a U+0069 LATIN SMALL LETTER I
More information about the Commit-Watchers
mailing list