- From: Ian Hickson via cvs-syncmail <cvsmail@w3.org>
- Date: Fri, 27 Aug 2010 19:18:20 +0000
- To: public-html-commits@w3.org
Update of /sources/public/html5/spec
In directory hutz:/tmp/cvs-serv7164
Modified Files:
Overview.html
Log Message:
Convert HTML from 'float' to 'double' throughout. THIS IS HIGHLY EXPERIMENTAL. THIS LIKELY HAS ALL KINDS OF IMPLICATIONS I HAVE NOT CONSIDERED. PLEASE SEND FEEDBACK IF THIS IS IN THE SLIGHTEST BIT PROBLEMATIC. (whatwg r5373)
Index: Overview.html
===================================================================
RCS file: /sources/public/html5/spec/Overview.html,v
retrieving revision 1.4287
retrieving revision 1.4288
diff -u -d -r1.4287 -r1.4288
--- Overview.html 27 Aug 2010 18:41:25 -0000 1.4287
+++ Overview.html 27 Aug 2010 19:18:16 -0000 1.4288
@@ -2760,12 +2760,12 @@
specification. <a href="#refsWEBIDL">[WEBIDL]</a></p>
<p id="float-nan">Except where otherwise specified, if an IDL
- attribute that is a floating point number type (<code title="">float</code>) is assigned an Infinity or Not-a-Number
+ attribute that is a floating point number type (<code title="">double</code>) is assigned an Infinity or Not-a-Number
(NaN) value, a <code><a href="#not_supported_err">NOT_SUPPORTED_ERR</a></code> exception must be
raised.</p>
<p>Except where otherwise specified, if a method with an argument
- that is a floating point number type (<code title="">float</code>)
+ that is a floating point number type (<code title="">double</code>)
is passed an Infinity or Not-a-Number (NaN) value, a
<code><a href="#not_supported_err">NOT_SUPPORTED_ERR</a></code> exception must be raised.</p>
@@ -3398,14 +3398,14 @@
<li><p><i>Conversion</i>: Let <var title="">S</var> be the set of
finite IEEE 754 single-precision floating point values except
- −0, but with two special values added: 2<sup title="">128</sup> and −2<sup title="">128</sup>.</li>
+ −0, but with two special values added: 2<sup title="">1024</sup> and −2<sup title="">1024</sup>.</li>
<li><p>Let <var title="">rounded-value</var> be the number in <var title="">S</var> that is closest to <var title="">value</var>,
selecting the number with an even significand if there are two
- equally close values. (The two special values 2<sup title="">128</sup> and −2<sup title="">128</sup> are
+ equally close values. (The two special values 2<sup title="">1024</sup> and −2<sup title="">1024</sup> are
considered to have even significands for this purpose.)</li>
- <li><p>If <var title="">rounded-value</var> is 2<sup title="">128</sup> or −2<sup title="">128</sup>, return an
+ <li><p>If <var title="">rounded-value</var> is 2<sup title="">1024</sup> or −2<sup title="">1024</sup>, return an
error.</li>
<li><p>Return <var title="">rounded-value</var>.</li>
@@ -5821,7 +5821,7 @@
value.</p>
<p>If a reflecting IDL attribute is a floating point number type
- (<code>float</code>), then, on getting, the content attribute must
+ (<code>double</code>), then, on getting, the content attribute must
be parsed according to the <a href="#rules-for-parsing-floating-point-number-values">rules for parsing floating point
number values</a>, and if that is successful, the resulting value
must be returned. If, on the other hand, it fails, or if the
@@ -20797,7 +20797,7 @@
const unsigned short <a href="#dom-media-network_no_source" title="dom-media-NETWORK_NO_SOURCE">NETWORK_NO_SOURCE</a> = 3;
readonly attribute unsigned short <a href="#dom-media-networkstate" title="dom-media-networkState">networkState</a>;
attribute DOMString <a href="#dom-media-preload" title="dom-media-preload">preload</a>;
-<!--v3BUF readonly attribute float <span title="dom-media-bufferingRate">bufferingRate</span>;
+<!--v3BUF readonly attribute double <span title="dom-media-bufferingRate">bufferingRate</span>;
readonly attribute boolean <span title="dom-media-bufferingThrottled">bufferingThrottled</span>;
--> readonly attribute <a href="#timeranges">TimeRanges</a> <a href="#dom-media-buffered" title="dom-media-buffered">buffered</a>;
void <a href="#dom-media-load" title="dom-media-load">load</a>();
@@ -20813,13 +20813,13 @@
readonly attribute boolean <a href="#dom-media-seeking" title="dom-media-seeking">seeking</a>;
// playback state
- attribute float <a href="#dom-media-currenttime" title="dom-media-currentTime">currentTime</a>;
- readonly attribute float <a href="#dom-media-initialtime" title="dom-media-initialTime">initialTime</a>;
- readonly attribute float <a href="#dom-media-duration" title="dom-media-duration">duration</a>;
+ attribute double <a href="#dom-media-currenttime" title="dom-media-currentTime">currentTime</a>;
+ readonly attribute double <a href="#dom-media-initialtime" title="dom-media-initialTime">initialTime</a>;
+ readonly attribute double <a href="#dom-media-duration" title="dom-media-duration">duration</a>;
readonly attribute <span>Date</span> <a href="#dom-media-startoffsettime" title="dom-media-startOffsetTime">startOffsetTime</a>;
readonly attribute boolean <a href="#dom-media-paused" title="dom-media-paused">paused</a>;
- attribute float <a href="#dom-media-defaultplaybackrate" title="dom-media-defaultPlaybackRate">defaultPlaybackRate</a>;
- attribute float <a href="#dom-media-playbackrate" title="dom-media-playbackRate">playbackRate</a>;
+ attribute double <a href="#dom-media-defaultplaybackrate" title="dom-media-defaultPlaybackRate">defaultPlaybackRate</a>;
+ attribute double <a href="#dom-media-playbackrate" title="dom-media-playbackRate">playbackRate</a>;
readonly attribute <a href="#timeranges">TimeRanges</a> <a href="#dom-media-played" title="dom-media-played">played</a>;
readonly attribute <a href="#timeranges">TimeRanges</a> <a href="#dom-media-seekable" title="dom-media-seekable">seekable</a>;
readonly attribute boolean <a href="#dom-media-ended" title="dom-media-ended">ended</a>;
@@ -20830,7 +20830,7 @@
// controls
attribute boolean <a href="#dom-media-controls" title="dom-media-controls">controls</a>;
- attribute float <a href="#dom-media-volume" title="dom-media-volume">volume</a>;
+ attribute double <a href="#dom-media-volume" title="dom-media-volume">volume</a>;
attribute boolean <a href="#dom-media-muted" title="dom-media-muted">muted</a>;
};</pre><p>The <dfn id="media-element-attributes">media element attributes</dfn>, <code title="attr-media-src"><a href="#attr-media-src">src</a></code>, <code title="attr-media-preload"><a href="#attr-media-preload">preload</a></code>, <code title="attr-media-autoplay"><a href="#attr-media-autoplay">autoplay</a></code>, <code title="attr-media-loop"><a href="#attr-media-loop">loop</a></code>, and <code title="attr-media-controls"><a href="#attr-media-controls">controls</a></code>, apply to all <a href="#media-element" title="media element">media elements</a>. They are defined in
this section.</p><!-- proposed v2 (actually v3!) features:
@@ -22972,8 +22972,8 @@
</div><h5 id="time-ranges"><span class="secno">4.8.9.11 </span>Time ranges</h5><p class="XXX annotation"><b>Status: </b><i>Last call for comments</i><p>Objects implementing the <code><a href="#timeranges">TimeRanges</a></code> interface
represent a list of ranges (periods) of time.<pre class="idl">interface <dfn id="timeranges">TimeRanges</dfn> {
readonly attribute unsigned long <a href="#dom-timeranges-length" title="dom-TimeRanges-length">length</a>;
- float <a href="#dom-timeranges-start" title="dom-TimeRanges-start">start</a>(in unsigned long index);
- float <a href="#dom-timeranges-end" title="dom-TimeRanges-end">end</a>(in unsigned long index);
+ double <a href="#dom-timeranges-start" title="dom-TimeRanges-start">start</a>(in unsigned long index);
+ double <a href="#dom-timeranges-end" title="dom-TimeRanges-end">end</a>(in unsigned long index);
};</pre><dl class="domintro"><dt><var title="">media</var> . <code title="dom-TimeRanges-length"><a href="#dom-timeranges-length">length</a></code></dt>
<dd>
@@ -33586,9 +33586,9 @@
<dt>DOM interface:</dt>
<dd>
<pre class="idl">interface <dfn id="htmlprogresselement">HTMLProgressElement</dfn> : <a href="#htmlelement">HTMLElement</a> {
- attribute float <a href="#dom-progress-value" title="dom-progress-value">value</a>;
- attribute float <a href="#dom-progress-max" title="dom-progress-max">max</a>;
- readonly attribute float <a href="#dom-progress-position" title="dom-progress-position">position</a>;
+ attribute double <a href="#dom-progress-value" title="dom-progress-value">value</a>;
+ attribute double <a href="#dom-progress-max" title="dom-progress-max">max</a>;
+ readonly attribute double <a href="#dom-progress-position" title="dom-progress-position">position</a>;
readonly attribute <a href="#htmlformelement">HTMLFormElement</a> <a href="#dom-fae-form" title="dom-fae-form">form</a>;
readonly attribute <a href="#nodelist">NodeList</a> <a href="#dom-lfe-labels" title="dom-lfe-labels">labels</a>;
};</pre>
@@ -33718,12 +33718,12 @@
<dt>DOM interface:</dt>
<dd>
<pre class="idl">interface <dfn id="htmlmeterelement">HTMLMeterElement</dfn> : <a href="#htmlelement">HTMLElement</a> {
- attribute float <a href="#dom-meter-value" title="dom-meter-value">value</a>;
- attribute float <a href="#dom-meter-min" title="dom-meter-min">min</a>;
- attribute float <a href="#dom-meter-max" title="dom-meter-max">max</a>;
- attribute float <a href="#dom-meter-low" title="dom-meter-low">low</a>;
- attribute float <a href="#dom-meter-high" title="dom-meter-high">high</a>;
- attribute float <a href="#dom-meter-optimum" title="dom-meter-optimum">optimum</a>;
+ attribute double <a href="#dom-meter-value" title="dom-meter-value">value</a>;
+ attribute double <a href="#dom-meter-min" title="dom-meter-min">min</a>;
+ attribute double <a href="#dom-meter-max" title="dom-meter-max">max</a>;
+ attribute double <a href="#dom-meter-low" title="dom-meter-low">low</a>;
+ attribute double <a href="#dom-meter-high" title="dom-meter-high">high</a>;
+ attribute double <a href="#dom-meter-optimum" title="dom-meter-optimum">optimum</a>;
readonly attribute <a href="#htmlformelement">HTMLFormElement</a> <a href="#dom-fae-form" title="dom-fae-form">form</a>;
readonly attribute <a href="#nodelist">NodeList</a> <a href="#dom-lfe-labels" title="dom-lfe-labels">labels</a>;
};</pre>
Received on Friday, 27 August 2010 19:18:25 UTC