Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/backends/Ada/ada_backend_wrapper.mli | ||
---|---|---|
1 |
open Utils |
|
2 |
open Format |
|
3 |
open Machine_code_types |
|
4 |
|
|
5 |
(** Print the main file calling in a loop the step function of the main |
|
6 |
machine. @param fmt the formater to print on @param machine the main |
|
7 |
machine **) |
|
8 |
val pp_main_adb: formatter -> machine_t -> unit |
|
9 |
|
|
10 |
(** Print the name of the ada project file. @param base_name name of the |
|
11 |
lustre file @param fmt the formater to print on **) |
|
12 |
val pp_project_name: string -> formatter -> unit |
|
13 |
|
|
14 |
(** Print the gpr project file, if there is a machine in machine_opt then an |
|
15 |
executable project is made else it is a library. @param fmt the formater |
|
16 |
to print on @param machine_opt the main machine option **) |
|
17 |
val pp_project_file: machine_t list -> string -> formatter -> machine_t option -> unit |
|
18 |
|
|
19 |
(** Print the name of the ada project configuration file. @param fmt the |
|
20 |
formater to print on @param main_machine the machine associated to the |
|
21 |
main node **) |
|
22 |
val pp_project_configuration_name: formatter -> string -> unit |
|
23 |
|
|
24 |
(** Print the project configuration file. @param fmt the formater to print on |
|
25 |
**) |
|
26 |
val pp_project_configuration_file: formatter -> unit |
Also available in: Unified diff
another step towards refactoring