Rename XMLHttpRequest to HttpRequest.

lib/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.
 
-_html_strip_webkit_prefix_classes = [
-    'Animation',
-    'AnimationEvent',
-    'AnimationList',
-    'BlobBuilder',
-    'CSSKeyframeRule',
-    'CSSKeyframesRule',
-    'CSSMatrix',
-    'CSSTransformValue',
-    'Flags',
-    'LoseContext',
-    'Point',
-    'TransitionEvent']
+_html_interface_renames = {
+    'DOMWindow': 'Window',
+    'WebKitAnimation': 'Animation',
+    'WebKitAnimationEvent': 'AnimationEvent',
+    'WebKitAnimationList': 'AnimationList',
+    'WebKitBlobBuilder': 'BlobBuilder',
+    'WebKitCSSKeyframeRule': 'CSSKeyframeRule',
+    'WebKitCSSKeyframesRule': 'CSSKeyframesRule',
+    'WebKitCSSMatrix': 'CSSMatrix',
+    'WebKitCSSTransformValue': 'CSSTransformValue',
+    'WebKitFlags': 'Flags',
+    'WebKitLoseContext': 'LoseContext',
+    'WebKitPoint': 'Point',
+    'WebKitTransitionEvent': 'TransitionEvent',
+    'XMLHttpRequest': 'HttpRequest',
+    'XMLHttpRequestException': 'HttpRequestException',
+    'XMLHttpRequestProgressEvent': 'HttpRequestProgressEvent',
+    'XMLHttpRequestUpload': 'HttpRequestUpload',
+}
 
 # 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([
   'Document.createElement',
   'Document.createElementNS',
   'Document.createEvent',
   'Document.createTextNode',
   'Document.createTouchList',
@@ skipping 236 matching lines @@
 
 class HtmlRenamer(object):
   def __init__(self, database):
     self._database = database
 
   def RenameInterface(self, interface):
     if interface.id.startswith('HTML'):
       if any(interface.id in ['Element', 'Document']
              for interface in self._database.Hierarchy(interface)):
         return interface.id[len('HTML'):]
-    elif interface.id.startswith('WebKit'):
-      stripped_name = interface.id[len('WebKit'):]
-      if stripped_name in _html_strip_webkit_prefix_classes:
-        return stripped_name
-    elif interface.id == 'DOMWindow':
-      return 'Window'
+    elif interface.id in _html_interface_renames.keys():

[sra1, 2012/08/16 20:20:36]

drop ".keys()", 'in' works directly

+      return _html_interface_renames[interface.id]
     return interface.id
 
   def RenameMember(self, interface_name, member, member_prefix=''):
     """
     Returns the name of the member in the HTML library or None if the member is
     suppressed in the HTML library
     """
     interface = self._database.GetInterface(interface_name)
 
     if self._FindMatch(interface, member, member_prefix, _removed_html_members):
       return None
 
     name = self._FindMatch(interface, member, member_prefix,
                            _renamed_html_members)
     target_name = _renamed_html_members[name] if name else member
     if self._FindMatch(interface, member, member_prefix, _private_html_members):
       if not target_name.startswith('$dom_'):  # e.g. $dom_svgClassName
         target_name = '$dom_' + target_name
     return target_name
 
   def _FindMatch(self, interface, member, member_prefix, candidates):
     for interface in self._database.Hierarchy(interface):
       html_interface_name = self.RenameInterface(interface)
       member_name = html_interface_name + '.' + member
       if member_name in candidates:
         return member_name
       member_name = html_interface_name + '.' + member_prefix + member
       if member_name in candidates:
         return member_name