====== Kml2B ======

===== Activation =====

Action button (available when a Kmelia composite specification is edited).

{{:costo:plugins:kml2b_activate.png?400|}}

The kind of generation will depend on the active component.
The processing is different for a component, an assembly or a composite.

===== Parameters =====

For a base component, no parameters are required.

For a composite, the parameters are provided by dialog boxes.

  - select the link (a couple ''provided, required'')
{{:costo:plugins:kml2b_selectlink.png?200|}}

===== Result =====

The result is a B source file.
If the directory of the specification is
  /kmelia/project1/composite.kcp
The files are generated in
  /B/kmelia/project1/composite/...

===== Verification =====

The proofs obligations can be check using ''AtelierB''.

{{:costo:plugins:atelierb_simpleplatoon.png?600|}}{{:costo:plugins:atelierb_simpleplatoon_system.png?600|}}