| 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 | 5 |
| 6 html_interface_renames = { | 6 html_interface_renames = { |
| 7 'DOMCoreException': 'DOMException', | 7 'DOMCoreException': 'DOMException', |
| 8 'DOMFormData': 'FormData', | 8 'DOMFormData': 'FormData', |
| 9 'DOMURL': 'Url', | 9 'DOMURL': 'Url', |
| 10 'DOMWindow': 'LocalWindow', | 10 'DOMWindow': 'LocalWindow', |
| (...skipping 53 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 64 'Document.webkitPointerLockElement', | 64 'Document.webkitPointerLockElement', |
| 65 'Document.webkitVisibilityState', | 65 'Document.webkitVisibilityState', |
| 66 | 66 |
| 67 'DocumentFragment.querySelector', | 67 'DocumentFragment.querySelector', |
| 68 'DocumentFragment.querySelectorAll', | 68 'DocumentFragment.querySelectorAll', |
| 69 'Element.childElementCount', | 69 'Element.childElementCount', |
| 70 'Element.children', | 70 'Element.children', |
| 71 'Element.className', | 71 'Element.className', |
| 72 'Element.firstElementChild', | 72 'Element.firstElementChild', |
| 73 'Element.getAttribute', | 73 'Element.getAttribute', |
| 74 'Element.getAttributeNS', |
| 74 'Element.getElementsByClassName', | 75 'Element.getElementsByClassName', |
| 75 'Element.getElementsByTagName', | 76 'Element.getElementsByTagName', |
| 76 'Element.hasAttribute', | 77 'Element.hasAttribute', |
| 78 'Element.hasAttributeNS', |
| 77 'Element.lastElementChild', | 79 'Element.lastElementChild', |
| 78 'Element.querySelector', | 80 'Element.querySelector', |
| 79 'Element.querySelectorAll', | 81 'Element.querySelectorAll', |
| 80 'Element.removeAttribute', | 82 'Element.removeAttribute', |
| 83 'Element.removeAttributeNS', |
| 81 'Element.setAttribute', | 84 'Element.setAttribute', |
| 85 'Element.setAttributeNS', |
| 82 'Event.initEvent', | 86 'Event.initEvent', |
| 83 'EventTarget.addEventListener', | 87 'EventTarget.addEventListener', |
| 84 'EventTarget.dispatchEvent', | 88 'EventTarget.dispatchEvent', |
| 85 'EventTarget.removeEventListener', | 89 'EventTarget.removeEventListener', |
| 86 'LocalWindow.getComputedStyle', | 90 'LocalWindow.getComputedStyle', |
| 87 'MouseEvent.initMouseEvent', | 91 'MouseEvent.initMouseEvent', |
| 88 'Node.appendChild', | 92 'Node.appendChild', |
| 89 'Node.attributes', | 93 'Node.attributes', |
| 90 'Node.childNodes', | 94 'Node.childNodes', |
| 91 'Node.firstChild', | 95 'Node.firstChild', |
| 92 'Node.lastChild', | 96 'Node.lastChild', |
| 97 "Node.localName", |
| 98 'Node.namespaceURI', |
| 93 'Node.removeChild', | 99 'Node.removeChild', |
| 94 'Node.replaceChild', | 100 'Node.replaceChild', |
| 95 'ShadowRoot.getElementById', | 101 'ShadowRoot.getElementById', |
| 96 'ShadowRoot.getElementsByClassName', | 102 'ShadowRoot.getElementsByClassName', |
| 97 'ShadowRoot.getElementsByTagName', | 103 'ShadowRoot.getElementsByTagName', |
| 98 'Storage.clear', | 104 'Storage.clear', |
| 99 'Storage.getItem', | 105 'Storage.getItem', |
| 100 'Storage.key', | 106 'Storage.key', |
| 101 'Storage.length', | 107 'Storage.length', |
| 102 'Storage.removeItem', | 108 'Storage.removeItem', |
| (...skipping 77 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 180 "Document.get:xmlEncoding", | 186 "Document.get:xmlEncoding", |
| 181 "Document.get:defaultCharset", | 187 "Document.get:defaultCharset", |
| 182 "Document.get:applets", | 188 "Document.get:applets", |
| 183 "Document.getSelection", | 189 "Document.getSelection", |
| 184 "Document.xmlVersion", | 190 "Document.xmlVersion", |
| 185 "Document.get:anchors", | 191 "Document.get:anchors", |
| 186 "Document.getElementsByTagNameNS", | 192 "Document.getElementsByTagNameNS", |
| 187 'Document.webkitCurrentFullScreenElement', | 193 'Document.webkitCurrentFullScreenElement', |
| 188 'Document.webkitFullScreenKeyboardInputAllowed', | 194 'Document.webkitFullScreenKeyboardInputAllowed', |
| 189 "DocumentType.*", | 195 "DocumentType.*", |
| 190 "Element.hasAttributeNS", | |
| 191 "Element.getAttributeNS", | |
| 192 "Element.setAttributeNode", | 196 "Element.setAttributeNode", |
| 193 "Element.getAttributeNode", | 197 "Element.getAttributeNode", |
| 194 "Element.removeAttributeNode", | 198 "Element.removeAttributeNode", |
| 195 "Element.removeAttributeNS", | |
| 196 "Element.setAttributeNodeNS", | 199 "Element.setAttributeNodeNS", |
| 197 "Element.getAttributeNodeNS", | 200 "Element.getAttributeNodeNS", |
| 198 "Element.setAttributeNS", | |
| 199 "Event.srcElement", | 201 "Event.srcElement", |
| 200 "BodyElement.text", | 202 "BodyElement.text", |
| 201 "AnchorElement.text", | 203 "AnchorElement.text", |
| 202 "OptionElement.text", | 204 "OptionElement.text", |
| 203 "ScriptElement.text", | 205 "ScriptElement.text", |
| 204 "TitleElement.text", | 206 "TitleElement.text", |
| 205 # "EventSource.get:url", | 207 # "EventSource.get:url", |
| 206 # TODO(jacobr): should these be removed? | 208 # TODO(jacobr): should these be removed? |
| 207 "Document.close", | 209 "Document.close", |
| 208 "Document.hasFocus", | 210 "Document.hasFocus", |
| (...skipping 40 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 249 "HTMLPropertiesCollection.*", | 251 "HTMLPropertiesCollection.*", |
| 250 "SelectElement.remove", | 252 "SelectElement.remove", |
| 251 "NamedNodeMap.*", | 253 "NamedNodeMap.*", |
| 252 "Node.isEqualNode", | 254 "Node.isEqualNode", |
| 253 "Node.get:TEXT_NODE", | 255 "Node.get:TEXT_NODE", |
| 254 "Node.hasAttributes", | 256 "Node.hasAttributes", |
| 255 "Node.get:DOCUMENT_TYPE_NODE", | 257 "Node.get:DOCUMENT_TYPE_NODE", |
| 256 "Node.get:DOCUMENT_POSITION_FOLLOWING", | 258 "Node.get:DOCUMENT_POSITION_FOLLOWING", |
| 257 "Node.lookupNamespaceURI", | 259 "Node.lookupNamespaceURI", |
| 258 "Node.get:ELEMENT_NODE", | 260 "Node.get:ELEMENT_NODE", |
| 259 "Node.get:namespaceURI", | |
| 260 "Node.get:DOCUMENT_FRAGMENT_NODE", | 261 "Node.get:DOCUMENT_FRAGMENT_NODE", |
| 261 "Node.get:localName", | |
| 262 "Node.isDefaultNamespace", | 262 "Node.isDefaultNamespace", |
| 263 "Node.compareDocumentPosition", | 263 "Node.compareDocumentPosition", |
| 264 "Node.get:baseURI", | 264 "Node.get:baseURI", |
| 265 "Node.isSameNode", | 265 "Node.isSameNode", |
| 266 "Node.get:DOCUMENT_POSITION_DISCONNECTED", | 266 "Node.get:DOCUMENT_POSITION_DISCONNECTED", |
| 267 "Node.get:DOCUMENT_NODE", | 267 "Node.get:DOCUMENT_NODE", |
| 268 "Node.get:DOCUMENT_POSITION_CONTAINS", | 268 "Node.get:DOCUMENT_POSITION_CONTAINS", |
| 269 "Node.get:COMMENT_NODE", | 269 "Node.get:COMMENT_NODE", |
| 270 "Node.get:ENTITY_REFERENCE_NODE", | 270 "Node.get:ENTITY_REFERENCE_NODE", |
| 271 "Node.isSupported", | 271 "Node.isSupported", |
| (...skipping 63 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 335 if member_name in candidates: | 335 if member_name in candidates: |
| 336 return member_name | 336 return member_name |
| 337 member_name = html_interface_name + '.' + member_prefix + member | 337 member_name = html_interface_name + '.' + member_prefix + member |
| 338 if member_name in candidates: | 338 if member_name in candidates: |
| 339 return member_name | 339 return member_name |
| 340 | 340 |
| 341 def GetLibraryName(self, interface): | 341 def GetLibraryName(self, interface): |
| 342 if interface.id.startswith('SVG'): | 342 if interface.id.startswith('SVG'): |
| 343 return 'svg' | 343 return 'svg' |
| 344 return 'html' | 344 return 'html' |
| OLD | NEW |