| 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 """This module provides shared functionality for the system to generate | 6 """This module provides shared functionality for the system to generate |
| 7 Dart:html APIs from the IDL database.""" | 7 Dart:html APIs from the IDL database.""" |
| 8 | 8 |
| 9 import emitter | 9 import emitter |
| 10 import monitored | 10 import monitored |
| (...skipping 31 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 42 'Console.trace', | 42 'Console.trace', |
| 43 'Console.warn', | 43 'Console.warn', |
| 44 'CSSStyleDeclaration.setProperty', | 44 'CSSStyleDeclaration.setProperty', |
| 45 'Element.insertAdjacentElement', | 45 'Element.insertAdjacentElement', |
| 46 'Element.insertAdjacentHTML', | 46 'Element.insertAdjacentHTML', |
| 47 'Element.insertAdjacentText', | 47 'Element.insertAdjacentText', |
| 48 'Element.webkitMatchesSelector', | 48 'Element.webkitMatchesSelector', |
| 49 'Element.remove', | 49 'Element.remove', |
| 50 'ElementEvents.mouseWheel', | 50 'ElementEvents.mouseWheel', |
| 51 'ElementEvents.transitionEnd', | 51 'ElementEvents.transitionEnd', |
| 52 'Event.returnValue', | |
| 53 'DOMException.name', | 52 'DOMException.name', |
| 54 'HTMLTableElement.createTBody', | 53 'HTMLTableElement.createTBody', |
| 55 'IDBDatabase.transaction', | 54 'IDBDatabase.transaction', |
| 56 'KeyboardEvent.initKeyboardEvent', | 55 'KeyboardEvent.initKeyboardEvent', |
| 57 'MouseEvent.offsetX', | 56 'MouseEvent.offsetX', |
| 58 'MouseEvent.offsetY', | 57 'MouseEvent.offsetY', |
| 59 'Navigator.language', | 58 'Navigator.language', |
| 60 'Navigator.webkitGetUserMedia', | 59 'Navigator.webkitGetUserMedia', |
| 61 'ScriptProcessorNode._setEventListener', | 60 'ScriptProcessorNode._setEventListener', |
| 62 'URL.createObjectURL', | 61 'URL.createObjectURL', |
| (...skipping 1085 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1148 for library_name in libraries: | 1147 for library_name in libraries: |
| 1149 self._libraries[library_name] = DartLibrary( | 1148 self._libraries[library_name] = DartLibrary( |
| 1150 library_name, template_loader, library_type, output_dir) | 1149 library_name, template_loader, library_type, output_dir) |
| 1151 | 1150 |
| 1152 def AddFile(self, basename, library_name, path): | 1151 def AddFile(self, basename, library_name, path): |
| 1153 self._libraries[library_name].AddFile(path) | 1152 self._libraries[library_name].AddFile(path) |
| 1154 | 1153 |
| 1155 def Emit(self, emitter, auxiliary_dir): | 1154 def Emit(self, emitter, auxiliary_dir): |
| 1156 for lib in self._libraries.values(): | 1155 for lib in self._libraries.values(): |
| 1157 lib.Emit(emitter, auxiliary_dir) | 1156 lib.Emit(emitter, auxiliary_dir) |
| OLD | NEW |