Added WebSocket support for dartc and frog

client/dom/scripts/dartgenerator.py

 #!/usr/bin/python
 # Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 # for details. All rights reserved. Use of this source code is governed by a
 # BSD-style license that can be found in the LICENSE file.
 
 """This module generates Dart APIs from the IDL database."""
 
 import emitter
 import idlnode
 import logging
@@ skipping 58 matching lines @@
 # information in IDL to create the signature.
 #
 # Each entry is of the form:
 #   type name: constructor parameters
 _constructable_types = {
     'AudioContext': '',
     'FileReader': '',
     'XMLHttpRequest': '',
     'WebKitCSSMatrix': '[String spec]',
     'WebKitPoint': 'num x, num y',
+    'WebSocket': 'String url',
     # dart:html types
     'CSSMatrix': '[String spec]',
     'Point': 'num x, num y',
 }
 
 #
 # Interface version of the DOM needs to delegate typed array constructors to a
 # factory provider.
 #
 _interface_factories = {
@@ skipping 2397 matching lines @@
     Arguments:
       info: An OperationInfo object.
     """
     # TODO(vsm): Handle overloads.
     self._members_emitter.Emit(
         '\n'
         '  $TYPE $NAME($ARGS) native;\n',
         TYPE=info.type_name,
         NAME=info.name,
         ARGS=info.arg_implementation_declaration)