Project

General

Profile

« Previous | Next » 

Revision b5b745fb

Added by Guillaume DAVY almost 3 years ago

Ada: First support for transition predicate generation.

View differences:

src/backends/Ada/ada_backend_common.mli
17 17
val is_builtin_fun : string -> bool
18 18
val ada_supported_funs : (string*(string*string)) list
19 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
20
val pp_var_name : var_decl -> formatter -> unit
21
val pp_var : ((string*printer) list) -> formatter -> var_decl -> unit
22
val pp_value : ((string*printer) list) -> formatter -> value_t -> unit
23 23
val pp_type : formatter -> type_expr -> unit
24 24
val pp_var_type : formatter -> var_decl -> unit
25 25

  
......
28 28

  
29 29
val mk_default_value : type_expr -> value_t
30 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
31
val build_pp_var_decl : parameter_mode -> ada_with -> var_decl -> ada_var_decl
32
val build_pp_var_decl_local : ada_with -> var_decl -> ada_local_decl
33
val build_pp_var_decl_step_input : parameter_mode -> ada_with -> machine_t -> (ada_var_decl list list)
34
val build_pp_var_decl_step_output : parameter_mode -> ada_with -> machine_t -> (ada_var_decl list list)
33 35
val build_pp_arg_step : machine_t -> (ada_var_decl list list)
34 36
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
37
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
36 38

  
37 39
val pp_machine_filename : string -> formatter -> machine_t -> unit
38 40
val pp_main_filename : formatter -> machine_t -> unit

Also available in: Unified diff