| 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 from systemfrog import * | 9 from systemfrog import * |
| 10 from systeminterface import * | 10 from systeminterface import * |
| (...skipping 257 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 268 "IFrameElement.get:contentDocument", | 268 "IFrameElement.get:contentDocument", |
| 269 "Window.get:frameElement", | 269 "Window.get:frameElement", |
| 270 ]) | 270 ]) |
| 271 | 271 |
| 272 _html_library_custom = set([ | 272 _html_library_custom = set([ |
| 273 'IFrameElement.get:contentWindow', | 273 'IFrameElement.get:contentWindow', |
| 274 'Window.get:document', | 274 'Window.get:document', |
| 275 'Window.get:top', | 275 'Window.get:top', |
| 276 'Window.get:location', | 276 'Window.get:location', |
| 277 'Window.set:location', | 277 'Window.set:location', |
| 278 'Window.open', |
| 278 'IDBDatabase.transaction', | 279 'IDBDatabase.transaction', |
| 279 ]) | 280 ]) |
| 280 | 281 |
| 281 # This map controls merging of interfaces in dart:html library. | 282 # This map controls merging of interfaces in dart:html library. |
| 282 # All constants, attributes, and operations of merged interface (key) are | 283 # All constants, attributes, and operations of merged interface (key) are |
| 283 # added to target interface (value). All references to the merged interface | 284 # added to target interface (value). All references to the merged interface |
| 284 # (e.g. parameter types, return types, parent interfaces) are replaced with | 285 # (e.g. parameter types, return types, parent interfaces) are replaced with |
| 285 # target interface. There are two important restrictions: | 286 # target interface. There are two important restrictions: |
| 286 # 1) Merged and target interfaces shouldn't have common members, otherwise there | 287 # 1) Merged and target interfaces shouldn't have common members, otherwise there |
| 287 # would be duplicated declarations in generated Dart code. | 288 # would be duplicated declarations in generated Dart code. |
| (...skipping 1169 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1457 Collect(database.GetInterface(parent.type.id), | 1458 Collect(database.GetInterface(parent.type.id), |
| 1458 seen, collected) | 1459 seen, collected) |
| 1459 | 1460 |
| 1460 inheritance_closure = {} | 1461 inheritance_closure = {} |
| 1461 for interface in database.GetInterfaces(): | 1462 for interface in database.GetInterfaces(): |
| 1462 seen = set() | 1463 seen = set() |
| 1463 collected = [] | 1464 collected = [] |
| 1464 Collect(interface, seen, collected) | 1465 Collect(interface, seen, collected) |
| 1465 inheritance_closure[interface.id] = collected | 1466 inheritance_closure[interface.id] = collected |
| 1466 return inheritance_closure | 1467 return inheritance_closure |
| OLD | NEW |