| 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 import database | 6 import database |
| 7 import databasebuilder | 7 import databasebuilder |
| 8 import idlparser | 8 import idlparser |
| 9 import os.path | 9 import os.path |
| 10 import logging.config | 10 import logging.config |
| (...skipping 41 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 52 # generation. | 52 # generation. |
| 53 webkit_defines = [ | 53 webkit_defines = [ |
| 54 'LANGUAGE_DART', | 54 'LANGUAGE_DART', |
| 55 'LANGUAGE_JAVASCRIPT', | 55 'LANGUAGE_JAVASCRIPT', |
| 56 'ENABLE_DOM_STORAGE', | 56 'ENABLE_DOM_STORAGE', |
| 57 'ENABLE_FILE_SYSTEM', | 57 'ENABLE_FILE_SYSTEM', |
| 58 'ENABLE_FULLSCREEN_API', | 58 'ENABLE_FULLSCREEN_API', |
| 59 'ENABLE_NOTIFICATIONS', | 59 'ENABLE_NOTIFICATIONS', |
| 60 'ENABLE_OFFLINE_WEB_APPLICATIONS', | 60 'ENABLE_OFFLINE_WEB_APPLICATIONS', |
| 61 'ENABLE_REQUEST_ANIMATION_FRAME', | 61 'ENABLE_REQUEST_ANIMATION_FRAME', |
| 62 'ENABLE_VIDEO', |
| 62 'ENABLE_WEB_TIMING', | 63 'ENABLE_WEB_TIMING', |
| 63 ] | 64 ] |
| 64 webkit_options = databasebuilder.DatabaseBuilderOptions( | 65 webkit_options = databasebuilder.DatabaseBuilderOptions( |
| 65 idl_syntax=idlparser.WEBKIT_SYNTAX, | 66 idl_syntax=idlparser.WEBKIT_SYNTAX, |
| 66 # TODO(vsm): What else should we define as on when processing IDL? | 67 # TODO(vsm): What else should we define as on when processing IDL? |
| 67 idl_defines=webkit_defines, | 68 idl_defines=webkit_defines, |
| 68 source='WebKit', | 69 source='WebKit', |
| 69 source_attributes={'revision': webkit_revision}, | 70 source_attributes={'revision': webkit_revision}, |
| 70 type_rename_map={ | 71 type_rename_map={ |
| 71 'float': 'double', | 72 'float': 'double', |
| (...skipping 46 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 118 | 119 |
| 119 builder.fix_displacements('WebKit') | 120 builder.fix_displacements('WebKit') |
| 120 | 121 |
| 121 # Cleanup: | 122 # Cleanup: |
| 122 builder.normalize_annotations(['WebKit', 'Dart']) | 123 builder.normalize_annotations(['WebKit', 'Dart']) |
| 123 | 124 |
| 124 db.Save() | 125 db.Save() |
| 125 | 126 |
| 126 if __name__ == '__main__': | 127 if __name__ == '__main__': |
| 127 sys.exit(main()) | 128 sys.exit(main()) |
| OLD | NEW |