Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(502)

Unified Diff: lib/dom/scripts/dartdomgenerator.py

Issue 10014028: Remove EventListener attributes from Dart DOM API. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Create real IDLParentInterface. Created 8 years, 8 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: lib/dom/scripts/dartdomgenerator.py
diff --git a/lib/dom/scripts/dartdomgenerator.py b/lib/dom/scripts/dartdomgenerator.py
index 4f79525a1d72259113139a20cc7f3d6a97407c75..8d44c1980f69c6588805bdefdfae75dad570deb9 100755
--- a/lib/dom/scripts/dartdomgenerator.py
+++ b/lib/dom/scripts/dartdomgenerator.py
@@ -70,7 +70,8 @@ def _MakeHtmlRenames(common_database):
return html_renames
-def GenerateDOM(systems, generate_html_systems, output_dir, use_database_cache):
+def GenerateDOM(systems, generate_html_systems, output_dir,
+ database_dir, use_database_cache):
current_dir = os.path.dirname(__file__)
generator = dartgenerator.DartGenerator(
@@ -79,8 +80,7 @@ def GenerateDOM(systems, generate_html_systems, output_dir, use_database_cache):
base_package='')
generator.LoadAuxiliary()
- common_database = database.Database(
- os.path.join(current_dir, '..', 'database'))
+ common_database = database.Database(database_dir)
if use_database_cache:
common_database.LoadFromCache()
else:
@@ -178,18 +178,21 @@ def main():
html_systems = [s for s in systems if s in html_system_names]
dom_systems = [s for s in systems if s not in html_system_names]
+ database_dir = os.path.join(current_dir, '..', 'database')
use_database_cache = options.use_database_cache
logging.config.fileConfig(os.path.join(current_dir, 'logging.conf'))
if dom_systems:
output_dir = options.output_dir or os.path.join(current_dir,
'../generated')
- GenerateDOM(dom_systems, False, output_dir, use_database_cache)
+ GenerateDOM(dom_systems, False, output_dir,
+ database_dir, use_database_cache)
if html_systems:
output_dir = options.output_dir or os.path.join(current_dir,
'../../html/generated')
- GenerateDOM(html_systems, True, output_dir, use_database_cache or dom_systems)
+ GenerateDOM(html_systems, True, output_dir,
+ database_dir, use_database_cache or dom_systems)
if __name__ == '__main__':
sys.exit(main())

Powered by Google App Engine
This is Rietveld 408576698