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
|