atelierb_add_component
Create and register a new B machine, refinement, or implementation component in your project with a pre-built template.
Instructions
Add a new B component (machine, refinement, or implementation) to a project. Creates the file in src/ with a template and registers it with Atelier B.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| content | No | Optional initial content for the file. If not provided, a template will be generated. | |
| project_name | Yes | Name of the project to add the component to | |
| component_name | Yes | Name of the component (without extension) | |
| component_type | Yes | Type of component: machine, refinement, or implementation |