Add support for native bindings generation to dartgenerator.py.

client/dom/scripts/dartdomgenerator.py

Index: client/dom/scripts/dartdomgenerator.py
diff --git a/client/dom/scripts/dartdomgenerator.py b/client/dom/scripts/dartdomgenerator.py
index 4e8bc2a6a3fd8a77e6e45a747219dde0aa3f3e19..9c261cc7e665cd12061d262408fb768068c29d99 100755
--- a/client/dom/scripts/dartdomgenerator.py
+++ b/client/dom/scripts/dartdomgenerator.py
@@ -31,7 +31,7 @@ _webkit_renames = {
 
 _webkit_renames_inverse = dict((v,k) for k, v in _webkit_renames.iteritems())
 
-def GenerateDOM(output_dir):
+def GenerateDOM(native, output_dir):
   # TODO(sra): Make this entry point also generate HTML.
   current_dir = os.path.dirname(__file__)
 
@@ -79,19 +79,21 @@ def GenerateDOM(output_dir):
                      source_filter = ['WebKit', 'Dart'],
                      super_database = common_database,
                      common_prefix = 'common',
-                     super_map = _webkit_renames_inverse)
+                     super_map = _webkit_renames_inverse,
+                     native = native)
 
   generator.Flush()
 
-  # Install default DOM library.
-  default = os.path.join(output_dir, DOM_DEFAULT_LIBRARY)
-  target = os.path.join(output_dir, DOM_LIBRARY)
-  shutil.copyfile(default, target)
+  if not native:

[antonm, 2012/01/26 11:06:14]

cannot you move this logic into main of this file instead?

[podivilov, 2012/01/26 14:18:57]

Done.

+    # Install default 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(os.path.join(current_dir, '..'))
+  GenerateDOM(False, os.path.join(current_dir, '..'))
 
 if __name__ == '__main__':
   sys.exit(main())