Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / Ada / ada_backend_common.mli @ 173a2a8f

History | View | Annotate | Download (1.7 KB)

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
val pp_past_name : int -> printer
17

    
18
val is_builtin_fun : string -> bool
19
val ada_supported_funs : (string*(string*string)) list
20

    
21
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
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
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
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
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
val build_pp_state_decl : parameter_mode -> ada_with -> ada_var_decl
40

    
41
val pp_machine_filename : string -> formatter -> machine_t -> unit
42
val pp_main_filename : formatter -> machine_t -> unit