Project

General

Profile

Revision c06b3b47 src/backends/Ada/ada_backend_ads.ml

View differences:

src/backends/Ada/ada_backend_ads.ml
27 27
   @param machine the machine
28 28
*)
29 29
let print fmt machine =
30
  fprintf fmt "@[<v 2>%a;@,%a;@,%a;@,%a;@,%a;@]@,%a@."
31
    (pp_begin_package false) machine
32
    pp_init_prototype machine
33
    pp_step_prototype machine
34
    pp_reset_prototype machine
35
    pp_clear_prototype machine
36
    pp_end_package machine
30
  let pp_record fmt = pp_record_definition fmt machine.mmemory in
31
  fprintf fmt "@[<v 2>%a;@,@,%a;@,@,%a;@,@,%a;@,@,%a;@,@,%a;@,@,private@,@,%a;@,@]@,%a@."
32
    (pp_begin_package false) machine (*Begin the package*)
33
    pp_private_type_decl pp_state_type (*Declare the state type*)
34
    pp_init_prototype machine (*Declare the init procedure*)
35
    pp_step_prototype machine (*Declare the step procedure*)
36
    pp_reset_prototype machine (*Declare the reset procedure*)
37
    pp_clear_prototype machine (*Declare the clear procedure*)
38
    pp_type_decl (pp_state_type, pp_record) (*Define the state type*)
39
    pp_end_package machine  (*End the package*)
37 40
    (*(Utils.fprintf_list ~sep:"@," pp_var_decl) machine.mmemory*)
38 41

  
39 42
end

Also available in: Unified diff