Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 7 months ago

reformatting

View differences:

src/backends/Ada/ada_backend_common.mli
1 1
open Format
2

  
3 2
open Machine_code_types
4 3
open Lustre_types
5 4
open Types
6

  
7 5
open Ada_printer
8 6
open Misc_printer
9 7

  
10 8
val pp_state_name : printer
9

  
11 10
val pp_state_type : printer
11

  
12 12
val pp_reset_procedure_name : printer
13

  
13 14
val pp_step_procedure_name : printer
15

  
14 16
val pp_main_procedure_name : printer
17

  
15 18
val pp_polymorphic_type : int -> printer
19

  
16 20
val pp_past_name : int -> printer
17 21

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

  
24
val ada_supported_funs : (string * (string * string)) list
20 25

  
21 26
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
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

  
24 32
val pp_type : formatter -> type_expr -> unit
33

  
25 34
val pp_var_type : formatter -> var_decl -> unit
26 35

  
27 36
val pp_package_name : machine_t -> printer
28
val pp_package_name_with_polymorphic : (int * Types.type_expr) list -> machine_t -> printer
37

  
38
val pp_package_name_with_polymorphic :
39
  (int * Types.type_expr) list -> machine_t -> printer
29 40

  
30 41
val mk_default_value : type_expr -> value_t
31 42

  
32 43
val build_pp_var_decl : parameter_mode -> ada_with -> var_decl -> ada_var_decl
44

  
33 45
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
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.type_expr) list * Machine_code_types.machine_t) ->
61
  ada_var_decl
62

  
39 63
val build_pp_state_decl : parameter_mode -> ada_with -> ada_var_decl
40 64

  
41 65
val pp_machine_filename : string -> formatter -> machine_t -> unit
66

  
42 67
val pp_main_filename : formatter -> machine_t -> unit

Also available in: Unified diff