Index: lib/dom/scripts/dartdomgenerator.py |
diff --git a/lib/dom/scripts/dartdomgenerator.py b/lib/dom/scripts/dartdomgenerator.py |
index 070e731ed0b65d98d859a53cf946866e62e57579..89e4859545b220050827100f026dc4447f73afbf 100755 |
--- a/lib/dom/scripts/dartdomgenerator.py |
+++ b/lib/dom/scripts/dartdomgenerator.py |
@@ -85,17 +85,13 @@ def GenerateDOM(systems, generate_html_systems, output_dir, |
common_database.LoadFromCache() |
else: |
common_database.Load() |
- # Remove these types since they are mapped directly to dart. |
- common_database.DeleteInterface('DOMStringMap') |
- common_database.DeleteInterface('DOMStringList') |
generator.RenameTypes(common_database, { |
# W3C -> Dart renames |
'AbstractView': 'Window', |
'Function': 'EventListener', |
- 'DOMStringMap': 'Map<String, String>', |
- 'DOMStringList': 'List<String>', |
}, True) |
+ |
generator.FilterMembersWithUnidentifiedTypes(common_database) |
webkit_database = common_database.Clone() |