| OLD | NEW |
| 1 #!/usr/bin/python | 1 #!/usr/bin/python |
| 2 # Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 2 # Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
| 3 # for details. All rights reserved. Use of this source code is governed by a | 3 # for details. All rights reserved. Use of this source code is governed by a |
| 4 # BSD-style license that can be found in the LICENSE file. | 4 # BSD-style license that can be found in the LICENSE file. |
| 5 import re | 5 import re |
| 6 | 6 |
| 7 html_interface_renames = { | 7 html_interface_renames = { |
| 8 'CDATASection': 'CDataSection', | 8 'CDATASection': 'CDataSection', |
| 9 'DOMApplicationCache': 'ApplicationCache', | 9 'DOMApplicationCache': 'ApplicationCache', |
| 10 'DOMCoreException': 'DomException', | 10 'DOMCoreException': 'DomException', |
| (...skipping 30 matching lines...) Expand all Loading... |
| 41 } | 41 } |
| 42 | 42 |
| 43 # Members from the standard dom that should not be exposed publicly in dart:html | 43 # Members from the standard dom that should not be exposed publicly in dart:html |
| 44 # but need to be exposed internally to implement dart:html on top of a standard | 44 # but need to be exposed internally to implement dart:html on top of a standard |
| 45 # browser. | 45 # browser. |
| 46 _private_html_members = set([ | 46 _private_html_members = set([ |
| 47 'CustomEvent.initCustomEvent', | 47 'CustomEvent.initCustomEvent', |
| 48 'Document.createElement', | 48 'Document.createElement', |
| 49 'Document.createElementNS', | 49 'Document.createElementNS', |
| 50 'Document.createEvent', | 50 'Document.createEvent', |
| 51 'Document.createRange', |
| 51 'Document.createTextNode', | 52 'Document.createTextNode', |
| 53 'Document.createTouch', |
| 52 'Document.createTouchList', | 54 'Document.createTouchList', |
| 53 'Document.getElementById', | 55 'Document.getElementById', |
| 54 'Document.getElementsByClassName', | 56 'Document.getElementsByClassName', |
| 55 'Document.getElementsByName', | 57 'Document.getElementsByName', |
| 56 'Document.getElementsByTagName', | 58 'Document.getElementsByTagName', |
| 57 'Document.querySelector', | 59 'Document.querySelector', |
| 58 'Document.querySelectorAll', | 60 'Document.querySelectorAll', |
| 59 | 61 |
| 60 # Moved to HTMLDocument. | 62 # Moved to HTMLDocument. |
| 61 'Document.body', | 63 'Document.body', |
| 62 'Document.caretRangeFromPoint', | 64 'Document.caretRangeFromPoint', |
| 63 'Document.elementFromPoint', | 65 'Document.elementFromPoint', |
| 66 'Document.getCSSCanvasContext', |
| 64 'Document.head', | 67 'Document.head', |
| 65 'Document.lastModified', | 68 'Document.lastModified', |
| 69 'Document.preferredStylesheetSet', |
| 66 'Document.referrer', | 70 'Document.referrer', |
| 71 'Document.selectedStylesheetSet', |
| 67 'Document.styleSheets', | 72 'Document.styleSheets', |
| 68 'Document.title', | 73 'Document.title', |
| 69 'Document.webkitCancelFullScreen', | 74 'Document.webkitCancelFullScreen', |
| 70 'Document.webkitExitFullscreen', | 75 'Document.webkitExitFullscreen', |
| 71 'Document.webkitExitPointerLock', | 76 'Document.webkitExitPointerLock', |
| 72 'Document.webkitFullscreenElement', | 77 'Document.webkitFullscreenElement', |
| 73 'Document.webkitFullscreenEnabled', | 78 'Document.webkitFullscreenEnabled', |
| 74 'Document.webkitHidden', | 79 'Document.webkitHidden', |
| 75 'Document.webkitIsFullScreen', | 80 'Document.webkitIsFullScreen', |
| 76 'Document.webkitPointerLockElement', | 81 'Document.webkitPointerLockElement', |
| (...skipping 324 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 401 | 406 |
| 402 # We're looking for a sequence of letters which start with capital letter | 407 # We're looking for a sequence of letters which start with capital letter |
| 403 # then a series of caps and finishes with either the end of the string or | 408 # then a series of caps and finishes with either the end of the string or |
| 404 # a capital letter. | 409 # a capital letter. |
| 405 # The [0-9] check is for names such as 2D or 3D | 410 # The [0-9] check is for names such as 2D or 3D |
| 406 # The following test cases should match as: | 411 # The following test cases should match as: |
| 407 # WebKitCSSFilterValue: WebKit(C)(SS)(F)ilterValue | 412 # WebKitCSSFilterValue: WebKit(C)(SS)(F)ilterValue |
| 408 # XPathNSResolver: (X)()(P)ath(N)(S)(R)esolver (no change) | 413 # XPathNSResolver: (X)()(P)ath(N)(S)(R)esolver (no change) |
| 409 # IFrameElement: (I)()(F)rameElement (no change) | 414 # IFrameElement: (I)()(F)rameElement (no change) |
| 410 return re.sub(r'([A-Z])([A-Z]{2,})([A-Z]|$)', toLower, name) | 415 return re.sub(r'([A-Z])([A-Z]{2,})([A-Z]|$)', toLower, name) |
| OLD | NEW |