Project

General

Profile

Revision fd8aeeac src/backends/Ada/ada_backend_common.ml

View differences:

src/backends/Ada/ada_backend_common.ml
11 11
(* Misc pretty print functions *)
12 12

  
13 13
(** Print a cleaned an identifier for ada exportation : Ada names must not start by an
14
    underscore and must not contain a double underscore 
14
    underscore and must not contain a double underscore
15 15
   @param var name to be cleaned*)
16 16
let pp_clean_ada_identifier fmt name =
17 17
  let base_size = String.length name in
......
86 86
**)
87 87
let extract_node instance =
88 88
  let (_, (node, _)) = instance in
89
  match node.top_decl_desc with 
89
  match node.top_decl_desc with
90 90
    | Node nd         -> nd
91 91
    | _ -> assert false (*TODO*)
92 92

  
......
144 144
   @param fmt the formater to print on
145 145
   @param id the variable
146 146
**)
147
let pp_var_type fmt id = 
147
let pp_var_type fmt id =
148 148
  (match (Types.repr id.var_type).Types.tdesc with
149 149
    | Types.Tbasic Types.Basic.Tint -> pp_integer_type fmt
150 150
    | Types.Tbasic Types.Basic.Treal -> pp_float_type fmt
......
233 233
(** Print the name of the init procedure **)
234 234
let pp_init_procedure_name fmt = fprintf fmt "init"
235 235

  
236
(** Print the step of the init procedure **)
236
(** Print the name of the step procedure **)
237 237
let pp_step_procedure_name fmt = fprintf fmt "step"
238 238

  
239
(** Print the reset of the init procedure **)
239
(** Print the name of the reset procedure **)
240 240
let pp_reset_procedure_name fmt = fprintf fmt "reset"
241 241

  
242
(** Print the clear of the init procedure **)
242
(** Print the name of the clear procedure **)
243 243
let pp_clear_procedure_name fmt = fprintf fmt "clear"
244 244

  
245 245
(** Print the prototype of a procedure with non input/outputs
......
320 320
    (Utils.fprintf_list ~sep:";@," pp_instr) instrs
321 321
    (Utils.pp_final_char_if_non_empty ";" instrs)
322 322
    pp_name
323

  

Also available in: Unified diff