|
1
|
open Format
|
|
2
|
|
|
3
|
open Machine_code_types
|
|
4
|
open Lustre_types
|
|
5
|
open Types
|
|
6
|
|
|
7
|
open Ada_printer
|
|
8
|
open Misc_printer
|
|
9
|
|
|
10
|
val pp_state_name : printer
|
|
11
|
val pp_state_type : printer
|
|
12
|
val pp_reset_procedure_name : printer
|
|
13
|
val pp_step_procedure_name : printer
|
|
14
|
val pp_main_procedure_name : printer
|
|
15
|
val pp_polymorphic_type : int -> printer
|
|
16
|
|
|
17
|
val is_builtin_fun : string -> bool
|
|
18
|
val ada_supported_funs : (string*(string*string)) list
|
|
19
|
|
|
20
|
val pp_access_var : machine_t -> formatter -> var_decl -> unit
|
|
21
|
val pp_value : machine_t -> formatter -> value_t -> unit
|
|
22
|
val pp_var_name : formatter -> var_decl -> unit
|
|
23
|
val pp_type : formatter -> type_expr -> unit
|
|
24
|
val pp_var_type : formatter -> var_decl -> unit
|
|
25
|
|
|
26
|
val pp_package_name : machine_t -> printer
|
|
27
|
val pp_package_name_with_polymorphic : (int * Types.type_expr) list -> machine_t -> printer
|
|
28
|
|
|
29
|
val mk_default_value : type_expr -> value_t
|
|
30
|
|
|
31
|
val build_pp_var_decl : parameter_mode -> var_decl -> ada_var_decl
|
|
32
|
val build_pp_var_decl_local : var_decl -> ada_local_decl
|
|
33
|
val build_pp_arg_step : machine_t -> (ada_var_decl list list)
|
|
34
|
val build_pp_arg_reset : machine_t -> (ada_var_decl list list)
|
|
35
|
val build_pp_state_decl_from_subinstance : (string * ((int * Types.type_expr) list * Machine_code_types.machine_t)) -> ada_var_decl
|
|
36
|
|
|
37
|
val pp_machine_filename : string -> formatter -> machine_t -> unit
|
|
38
|
val pp_main_filename : formatter -> machine_t -> unit
|