| OLD | NEW |
| 1 #!/usr/bin/python | 1 #!/usr/bin/python |
| 2 # Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 2 # Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
| 3 # for details. All rights reserved. Use of this source code is governed by a | 3 # for details. All rights reserved. Use of this source code is governed by a |
| 4 # BSD-style license that can be found in the LICENSE file. | 4 # BSD-style license that can be found in the LICENSE file. |
| 5 | 5 |
| 6 """This is the entry point to create Dart APIs from the IDL database.""" | 6 """This is the entry point to create Dart APIs from the IDL database.""" |
| 7 | 7 |
| 8 import dartgenerator | 8 import dartgenerator |
| 9 import database | 9 import database |
| 10 import logging.config | 10 import logging.config |
| (...skipping 80 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 91 | 91 |
| 92 generator.RenameTypes(common_database, { | 92 generator.RenameTypes(common_database, { |
| 93 # W3C -> Dart renames | 93 # W3C -> Dart renames |
| 94 'AbstractView': 'Window', | 94 'AbstractView': 'Window', |
| 95 'Function': 'EventListener', | 95 'Function': 'EventListener', |
| 96 'DOMStringMap': 'Map<String, String>', | 96 'DOMStringMap': 'Map<String, String>', |
| 97 'DOMStringList': 'List<String>', | 97 'DOMStringList': 'List<String>', |
| 98 }, False) | 98 }, False) |
| 99 generator.FilterMembersWithUnidentifiedTypes(common_database) | 99 generator.FilterMembersWithUnidentifiedTypes(common_database) |
| 100 webkit_database = common_database.Clone() | 100 webkit_database = common_database.Clone() |
| 101 # FIXME: get rid of _original_idl_types map in dartgenerator.py and | |
| 102 # call ConvertToDartTypes before cloning. | |
| 103 generator.ConvertToDartTypes(common_database) | |
| 104 generator.ConvertToDartTypes(webkit_database) | |
| 105 | 101 |
| 106 generated_output_dir = os.path.join(output_dir, | 102 generated_output_dir = os.path.join(output_dir, |
| 107 '../html/generated' if generate_html_systems else 'generated') | 103 '../html/generated' if generate_html_systems else 'generated') |
| 108 if os.path.exists(generated_output_dir): | 104 if os.path.exists(generated_output_dir): |
| 109 _logger.info('Cleaning output directory %s' % generated_output_dir) | 105 _logger.info('Cleaning output directory %s' % generated_output_dir) |
| 110 shutil.rmtree(generated_output_dir) | 106 shutil.rmtree(generated_output_dir) |
| 111 | 107 |
| 112 | 108 |
| 113 # Generate Dart interfaces for the WebKit DOM. | 109 # Generate Dart interfaces for the WebKit DOM. |
| 114 webkit_output_dir = generated_output_dir | 110 webkit_output_dir = generated_output_dir |
| (...skipping 73 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 188 # Copy dummy DOM where dartc build expects it. | 184 # Copy dummy DOM where dartc build expects it. |
| 189 if 'dummy' in systems: | 185 if 'dummy' in systems: |
| 190 # TODO(sra): Make other tools pick this up directly, or do a copy_dart into | 186 # TODO(sra): Make other tools pick this up directly, or do a copy_dart into |
| 191 # a specific directory. | 187 # a specific directory. |
| 192 source = os.path.join(output_dir, 'dom_dummy.dart') | 188 source = os.path.join(output_dir, 'dom_dummy.dart') |
| 193 target = os.path.join(output_dir, 'dom.dart') | 189 target = os.path.join(output_dir, 'dom.dart') |
| 194 shutil.copyfile(source, target) | 190 shutil.copyfile(source, target) |
| 195 | 191 |
| 196 if __name__ == '__main__': | 192 if __name__ == '__main__': |
| 197 sys.exit(main()) | 193 sys.exit(main()) |
| OLD | NEW |