Project

General

Profile

Download (1.7 KB) Statistics
| Branch: | Tag: | Revision:
1 230b168e Guillaume DAVY
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 173a2a8f Guillaume DAVY
val pp_past_name : int -> printer
17 230b168e Guillaume DAVY
18
val is_builtin_fun : string -> bool
19
val ada_supported_funs : (string*(string*string)) list
20
21 b5b745fb Guillaume DAVY
val pp_var_name : var_decl -> formatter -> unit
22
val pp_var : ((string*printer) list) -> formatter -> var_decl -> unit
23
val pp_value : ((string*printer) list) -> formatter -> value_t -> unit
24 230b168e Guillaume DAVY
val pp_type : formatter -> type_expr -> unit
25
val pp_var_type : formatter -> var_decl -> unit
26
27
val pp_package_name : machine_t -> printer
28
val pp_package_name_with_polymorphic : (int * Types.type_expr) list -> machine_t -> printer
29
30
val mk_default_value : type_expr -> value_t
31
32 b5b745fb Guillaume DAVY
val build_pp_var_decl : parameter_mode -> ada_with -> var_decl -> ada_var_decl
33
val build_pp_var_decl_local : ada_with -> var_decl -> ada_local_decl
34
val build_pp_var_decl_step_input : parameter_mode -> ada_with -> machine_t -> (ada_var_decl list list)
35
val build_pp_var_decl_step_output : parameter_mode -> ada_with -> machine_t -> (ada_var_decl list list)
36 230b168e Guillaume DAVY
val build_pp_arg_step : machine_t -> (ada_var_decl list list)
37
val build_pp_arg_reset : machine_t -> (ada_var_decl list list)
38 b5b745fb Guillaume DAVY
val build_pp_state_decl_from_subinstance : parameter_mode -> ada_with -> (string * ((int * Types.type_expr) list * Machine_code_types.machine_t)) -> ada_var_decl
39 173a2a8f Guillaume DAVY
val build_pp_state_decl : parameter_mode -> ada_with -> ada_var_decl
40 230b168e Guillaume DAVY
41
val pp_machine_filename : string -> formatter -> machine_t -> unit
42
val pp_main_filename : formatter -> machine_t -> unit