| # This file is used to simulate the wkbuiltins/ directory when generate-js-builtins.py |
| # is run from JavaScriptCore framework's private headers directory, which is flattened. |
| |
| from builtins_model import * |
| from builtins_templates import * |
| |
| from builtins_generator import * |
| from builtins_generate_combined_header import * |
| from builtins_generate_combined_implementation import * |
| from builtins_generate_separate_header import * |
| from builtins_generate_separate_implementation import * |
| from builtins_generate_wrapper_header import * |
| from builtins_generate_wrapper_implementation import * |
| from builtins_generate_internals_wrapper_header import * |
| from builtins_generate_internals_wrapper_implementation import * |