Changing websocket API to make it possible to send array buffers.

lib/dom/idl/dart/dart.idl

Index: lib/dom/idl/dart/dart.idl
diff --git a/lib/dom/idl/dart/dart.idl b/lib/dom/idl/dart/dart.idl
index 553198d2a7fd25e214b37ffff26d8042d3afafd6..9d15181e13ea69c84b6b6281ebf43c97fd2ee77c 100644
--- a/lib/dom/idl/dart/dart.idl
+++ b/lib/dom/idl/dart/dart.idl
@@ -302,3 +302,14 @@ module storage {
     [Custom] Dictionary item(in unsigned long index);
   };
 }
+
+module websockets {
+  [Supplemental]
+  interface WebSocket {
+    // Change the return type to custom so that it can be either ArrayBuffer
+    // or string.
+    [Suppressed] boolean send(in DOMString data) raises(DOMException);
+    [Custom] boolean send(in custom data) raises(DOMException);

[vsm, 2012/09/04 19:55:18]

I'd prefer not making the type of data 'custom' as this might fail in very
surprising ways if you pass an arbitrary object.

The spec (http://dev.w3.org/html5/websockets/) lists 4 variants:
  void send(DOMString data);
  void send(Blob data);
  void send(ArrayBuffer data);
  void send(ArrayBufferView data);

Will our codegen do the right thing if we list these here explicitly?

[blois, 2012/09/04 21:07:07]

Looks like it does, I've made this change.

On 2012/09/04 19:55:18, vsm wrote:

+  };
+}
+