1
|
open Format
|
2
|
open Machine_code_types
|
3
|
open Lustre_types
|
4
|
open Types
|
5
|
open Ada_printer
|
6
|
open Misc_printer
|
7
|
|
8
|
val pp_state_name : printer
|
9
|
|
10
|
val pp_state_type : printer
|
11
|
|
12
|
val pp_reset_procedure_name : printer
|
13
|
|
14
|
val pp_step_procedure_name : printer
|
15
|
|
16
|
val pp_main_procedure_name : printer
|
17
|
|
18
|
val pp_polymorphic_type : int -> printer
|
19
|
|
20
|
val pp_past_name : int -> printer
|
21
|
|
22
|
val is_builtin_fun : string -> bool
|
23
|
|
24
|
val ada_supported_funs : (string * (string * string)) list
|
25
|
|
26
|
val pp_var_name : var_decl -> formatter -> unit
|
27
|
|
28
|
val pp_var : (string * printer) list -> formatter -> var_decl -> unit
|
29
|
|
30
|
val pp_value : (string * printer) list -> formatter -> value_t -> unit
|
31
|
|
32
|
val pp_type : formatter -> Types.t -> unit
|
33
|
|
34
|
val pp_var_type : formatter -> var_decl -> unit
|
35
|
|
36
|
val pp_package_name : machine_t -> printer
|
37
|
|
38
|
val pp_package_name_with_polymorphic :
|
39
|
(int * Types.t) list -> machine_t -> printer
|
40
|
|
41
|
val mk_default_value : Types.t -> value_t
|
42
|
|
43
|
val build_pp_var_decl : parameter_mode -> ada_with -> var_decl -> ada_var_decl
|
44
|
|
45
|
val build_pp_var_decl_local : ada_with -> var_decl -> ada_local_decl
|
46
|
|
47
|
val build_pp_var_decl_step_input :
|
48
|
parameter_mode -> ada_with -> machine_t -> ada_var_decl list list
|
49
|
|
50
|
val build_pp_var_decl_step_output :
|
51
|
parameter_mode -> ada_with -> machine_t -> ada_var_decl list list
|
52
|
|
53
|
val build_pp_arg_step : machine_t -> ada_var_decl list list
|
54
|
|
55
|
val build_pp_arg_reset : machine_t -> ada_var_decl list list
|
56
|
|
57
|
val build_pp_state_decl_from_subinstance :
|
58
|
parameter_mode ->
|
59
|
ada_with ->
|
60
|
string * ((int * Types.t) list * Machine_code_types.machine_t) ->
|
61
|
ada_var_decl
|
62
|
|
63
|
val build_pp_state_decl : parameter_mode -> ada_with -> ada_var_decl
|
64
|
|
65
|
val pp_machine_filename : string -> formatter -> machine_t -> unit
|
66
|
|
67
|
val pp_main_filename : formatter -> machine_t -> unit
|