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 |