Revision a7062da6
Added by Lélio Brun over 3 years ago
| src/backends/Ada/ada_backend.mli | ||
|---|---|---|
| 1 |
(** Main function of the Ada backend. It calls all the subfunction creating all |
|
| 2 |
the file and fill them with Ada code representing the machines list given. |
|
| 3 |
@param basename name of the lustre file @param prog list of machines to |
|
| 4 |
translate **) |
|
| 5 |
val translate_to_ada: string -> Machine_code_types.machine_t list -> unit |
|
Also available in: Unified diff
another step towards refactoring