Added simple functionality to remove interfaces from HTML lib.

tools/dom/scripts/htmlrenamer.py

 #!/usr/bin/python
 # Copyright (c) 2012, 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.
 import re
 
 html_interface_renames = {
     'CDATASection': 'CDataSection',
     'DOMApplicationCache': 'ApplicationCache',
     'DOMCoreException': 'DomException',
@@ skipping 20 matching lines @@
     'WebKitFlags': 'Flags',
     'WebKitLoseContext': 'LoseContext',
     'WebKitPoint': 'Point',
     'WebKitTransitionEvent': 'TransitionEvent',
     'XMLHttpRequest': 'HttpRequest',
     'XMLHttpRequestException': 'HttpRequestException',
     'XMLHttpRequestProgressEvent': 'HttpRequestProgressEvent',
     'XMLHttpRequestUpload': 'HttpRequestUpload',
 }
 
+html_interface_removes = {
+    'AppletElement',
+}
+
 # Members from the standard dom that should not be exposed publicly in dart:html
 # but need to be exposed internally to implement dart:html on top of a standard
 # browser.
 _private_html_members = set([
   'CustomEvent.initCustomEvent',
   'Document.createElement',
   'Document.createElementNS',
   'Document.createEvent',
   'Document.createRange',
   'Document.createTextNode',
@@ skipping 287 matching lines @@
     "Window.webkitIndexedDB",
     "Window.webkitCancelRequestAnimationFrame",
     "WheelEvent.wheelDelta",
     "WorkerContext.webkitIndexedDB",
     ])
 
 class HtmlRenamer(object):
   def __init__(self, database):
     self._database = database
 
+  def FindInterface(self, interface):

[blois, 2013/01/07 16:55:29]

Seems like it should be 'ShouldExportInterface' or something- and return a bool.

+    if interface in html_interface_removes:
+      return interface
+    return None
+
   def RenameInterface(self, interface):
     if interface.id in html_interface_renames:
       return html_interface_renames[interface.id]
     elif interface.id.startswith('HTML'):
       if any(interface.id in ['Element', 'Document']
              for interface in self._database.Hierarchy(interface)):
         return interface.id[len('HTML'):]
     return self.DartifyTypeName(interface.id)
 
 
@@ skipping 65 matching lines @@
 
     # We're looking for a sequence of letters which start with capital letter
     # then a series of caps and finishes with either the end of the string or
     # a capital letter.
     # The [0-9] check is for names such as 2D or 3D
     # The following test cases should match as:
     #   WebKitCSSFilterValue: WebKit(C)(SS)(F)ilterValue
     #   XPathNSResolver: (X)()(P)ath(N)(S)(R)esolver (no change)
     #   IFrameElement: (I)()(F)rameElement (no change)
     return re.sub(r'([A-Z])([A-Z]{2,})([A-Z]|$)', toLower, name)