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

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

Issue 9231021: Several fixes needed to reuse JS DOM interfaces in dartium. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 8 years, 11 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: client/dom/scripts/dartdomgenerator.py
diff --git a/client/dom/scripts/dartdomgenerator.py b/client/dom/scripts/dartdomgenerator.py
index 7f6045b7e2900580ceded67b2941723d30dd55a9..55146a5966a1258ce1f1cff254c35e852054a42e 100755
--- a/client/dom/scripts/dartdomgenerator.py
+++ b/client/dom/scripts/dartdomgenerator.py
@@ -25,18 +25,19 @@ _webkit_renames = {
'DedicatedWorkerGlobalScope': 'DedicatedWorkerContext',
'FormData': 'DOMFormData',
'Selection': 'DOMSelection',
- 'SharedWorkerGlobalScope': 'SharedWorkercontext',
+ 'SharedWorkerGlobalScope': 'SharedWorkerContext',
'Window': 'DOMWindow',
'WorkerGlobalScope': 'WorkerContext'}
_webkit_renames_inverse = dict((v,k) for k, v in _webkit_renames.iteritems())
-def GenerateDOM():
+def GenerateDOM(output_dir):
# TODO(sra): Make this entry point also generate HTML.
current_dir = os.path.dirname(__file__)
generator = dartgenerator.DartGenerator(
auxiliary_dir=os.path.join(current_dir, '..', 'src'),
+ template_dir=os.path.join(current_dir, '..', 'templates'),
base_package='')
generator.LoadAuxiliary()
@@ -57,15 +58,14 @@ def GenerateDOM():
generator.ConvertToDartTypes(common_database)
webkit_database = common_database.Clone()
- output_dir = os.path.join(current_dir, '..', 'generated')
- lib_dir = os.path.join(current_dir, '..')
- if os.path.exists(output_dir):
- _logger.info('Cleaning output directory %s' % output_dir)
- shutil.rmtree(output_dir)
+ generated_output_dir = os.path.join(output_dir, 'generated')
+ if os.path.exists(generated_output_dir):
+ _logger.info('Cleaning output directory %s' % generated_output_dir)
+ shutil.rmtree(generated_output_dir)
# Generate Dart interfaces for the WebKit DOM.
- webkit_output_dir = output_dir
+ webkit_output_dir = generated_output_dir
generator.FilterInterfaces(database = webkit_database,
or_annotations = ['WebKit', 'Dart'],
exclude_displaced = ['WebKit'],
@@ -74,7 +74,7 @@ def GenerateDOM():
generator.Generate(database = webkit_database,
output_dir = webkit_output_dir,
- lib_dir = lib_dir,
+ lib_dir = output_dir,
module_source_preference = ['WebKit', 'Dart'],
source_filter = ['WebKit', 'Dart'],
super_database = common_database,
@@ -84,14 +84,14 @@ def GenerateDOM():
generator.Flush()
# Install default DOM library.
- default = os.path.join(lib_dir, DOM_DEFAULT_LIBRARY)
- target = os.path.join(lib_dir, DOM_LIBRARY)
+ default = os.path.join(output_dir, DOM_DEFAULT_LIBRARY)
+ target = os.path.join(output_dir, DOM_LIBRARY)
shutil.copyfile(default, target)
def main():
current_dir = os.path.dirname(__file__)
logging.config.fileConfig(os.path.join(current_dir, 'logging.conf'))
- GenerateDOM()
+ GenerateDOM(os.path.join(current_dir, '..', 'generated'))
if __name__ == '__main__':
sys.exit(main())

Powered by Google App Engine
This is Rietveld 408576698