Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by Lélio Brun over 1 year 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