Project

General

Profile

Download (1.08 KB) Statistics
| Branch: | Tag: | Revision:
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
(11-11/17)