atelierb_generate_project_c
Generate C code for a complete B project from a top-level component, outputting to the lang/c directory. Supports C9X, LIGHT, and PROJECT profiles.
Instructions
Generate C code for a complete B project from a toplevel component. Output goes to lang/c directory.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| profile | No | C translation profile: C9X (default), LIGHT, or PROJECT | C9X |
| project_name | Yes | Name of the project | |
| generate_main | No | If true, generate a main() function for the toplevel | |
| toplevel_component | Yes | Name of the toplevel component (entry point) |