Project

General

Profile

« Previous | Next » 

Revision b5b745fb

Added by Guillaume DAVY over 4 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