Add support for type checking of floating point attributes

Source/modules/mediasource/SourceBuffer.idl

Index: Source/modules/mediasource/SourceBuffer.idl
diff --git a/Source/modules/mediasource/SourceBuffer.idl b/Source/modules/mediasource/SourceBuffer.idl
index 1272771cac3f980fe823627b57048461783bc8d8..70d1f334dcceb9aa32e9b3f6a2c274a1db3ffbf2 100644
--- a/Source/modules/mediasource/SourceBuffer.idl
+++ b/Source/modules/mediasource/SourceBuffer.idl
@@ -28,15 +28,17 @@
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 
+// https://dvcs.w3.org/hg/html-media/raw-file/tip/media-source/media-source.html#idl-def-SourceBuffer
+
 enum AppendMode {
     "segments",
     "sequence"
 };
 
 [
-    NoInterfaceObject,
     ActiveDOMObject,
-    RuntimeEnabled=MediaSource
+    NoInterfaceObject,
+    RuntimeEnabled=MediaSource,
 ] interface SourceBuffer : EventTarget {
 
     // Gets or sets the AppendMode.
@@ -49,13 +51,13 @@ enum AppendMode {
     [RaisesException=Getter] readonly attribute TimeRanges buffered;
 
     // Applies an offset to media segment timestamps.
-    [RaisesException=Setter] attribute double timestampOffset;
+    [RaisesException=Setter, TypeChecking=Unrestricted] attribute double timestampOffset;
 
     // Presentation timestamp for the start of append window.
-    [RaisesException=Setter] attribute double appendWindowStart;
+    [RaisesException=Setter, TypeChecking=Unrestricted] attribute double appendWindowStart;
 
     // Presentation timestamp for the end of append window.
-    [RaisesException=Setter] attribute double appendWindowEnd;
+    [RaisesException=Setter, TypeChecking=Unrestricted] attribute unrestricted double appendWindowEnd;

[haraken, 2014/05/01 03:25:58]

I'm a bit confused. What's the difference between:

- double x;
- unrestricted double x;
- [TypeChecking=Unrestricted] double x;
- [TypeChecking=Unrestricted] unrestricted double x;

?

[Nils Barth (inactive), 2014/05/01 03:34:26]

Behavior-wise, currently only:
[TypeChecking=Unrestricted] double x;
...has type-checking for non-finite values.
(For compatibility.)

However, [TypeChecking=Unrestricted] should go on the *interface*, in which case
attribute double x;
attribute unrestricted double x;
...*do* differ (attribute double x; is type-checked), and we have to get them
right.

The:
[TypeChecking=Unrestricted] attribute unrestricted double x;
...in this CL asserts that we've checked this attribute, so it'll be easy to
move the [TypeChecking=Unrestricted] to the interface (once methods are also
checked).

I'm just adding test cases here; Fredrik is doing full type-checking in:
Apply TypeChecking to MediaSource IDLs
https://codereview.chromium.org/266453005/

Make sense?

 
     // Append segment data.
     [RaisesException] void appendBuffer(ArrayBuffer data);