Index: lib/dom/scripts/dartdomgenerator.py |
diff --git a/lib/dom/scripts/dartdomgenerator.py b/lib/dom/scripts/dartdomgenerator.py |
index d3b96669fd1fc0bf91ba89a563b3b3bfe5774962..7780ce6b74b07e044c31b5465dcd4560b1eaa8df 100755 |
--- a/lib/dom/scripts/dartdomgenerator.py |
+++ b/lib/dom/scripts/dartdomgenerator.py |
@@ -15,7 +15,7 @@ import shutil |
import subprocess |
import sys |
from systemfrog import FrogSystem |
-from systemhtml import HtmlInterfacesSystem, HtmlFrogSystem |
+from systemhtml import HtmlInterfacesSystem, HtmlFrogSystem, HtmlSystemShared |
from systeminterface import InterfacesSystem |
from systemnative import NativeImplementationSystem |
from templateloader import TemplateLoader |
@@ -60,10 +60,11 @@ def Generate(system_names, database_dir, use_database_cache, dom_output_dir, |
generator.RenameTypes(webkit_database, _webkit_renames, True) |
generator.FixEventTargets(webkit_database) |
- def Generate(system): |
+ def Generate(system, interface_renames={}): |
generator.Generate(webkit_database, system, |
super_database=common_database, |
- webkit_renames=_webkit_renames) |
+ webkit_renames=_webkit_renames, |
+ interface_renames=interface_renames) |
emitters = multiemitter.MultiEmitter() |
@@ -86,7 +87,7 @@ def Generate(system_names, database_dir, use_database_cache, dom_output_dir, |
TemplateLoader(template_dir, ['html/interface', 'html/impl', 'html', |
'']), |
webkit_database, emitters, output_dir, backend) |
- Generate(html_system) |
+ Generate(html_system, HtmlSystemShared(webkit_database).MakeHtmlRenames()) |
else: |
output_dir = dom_output_dir |
interface_system = InterfacesSystem( |