Index: lib/dom/scripts/dartgenerator.py |
diff --git a/lib/dom/scripts/dartgenerator.py b/lib/dom/scripts/dartgenerator.py |
index d33c10980d3ea37eb9478b83088a57e91632be9b..c3e03bf61c71686f07dc7df165932861c84a8bb8 100755 |
--- a/lib/dom/scripts/dartgenerator.py |
+++ b/lib/dom/scripts/dartgenerator.py |
@@ -186,8 +186,10 @@ class DartGenerator(object): |
self.FilterMembersWithUnidentifiedTypes(database) |
- def Generate(self, database, system, super_database=None, webkit_renames={}): |
+ def Generate(self, database, system, super_database=None, webkit_renames={}, |
+ interface_renames={}): |
self._database = database |
+ IDLTypeInfo.interface_renames = interface_renames |
Anton Muhin
2012/07/05 15:55:53
that doesn't look like a simplification---it's har
podivilov
2012/07/05 16:00:06
Dart interface renames naturally belong to type re
Anton Muhin
2012/07/05 16:02:11
I do agree w/ it. But I hate this temporary set r
podivilov
2012/07/13 15:39:24
Done.
|
# Collect interfaces |
interfaces = [] |
@@ -234,6 +236,7 @@ class DartGenerator(object): |
system.GenerateLibraries() |
system.Finish() |
+ IDLTypeInfo.interface_renames = {} |
def _PreOrderInterfaces(self, interfaces): |
"""Returns the interfaces in pre-order, i.e. parents first.""" |