Project

General

Profile

Revision 903317e7 src/backends/Ada/ada_backend_ads.ml

View differences:

src/backends/Ada/ada_backend_ads.ml
64 64
  (* Add the boolean variable reated for arrow instance to the list of all variable *)
65 65
  let var_list = arrows@m.mmemory in
66 66
  let pp_record fmt = pp_state_record_definition fmt (var_list, instances) in
67
  fprintf fmt "@[<v>%a%t@,%a@,  @[<v>@,%a;@,@,%a;@,@,%a;@,@,%a;@,@,%a;@,@,private@,@,%a;@,@]@,%a;@.@]"
67
  fprintf fmt "@[<v>%a%t@,%a@,  @[<v>@,%a;@,@,%t;@,@,%t;@,@,private@,@,%a;@,@]@,%a;@.@]"
68 68
    
69 69
    (* Include all the subinstance*)
70 70
    (Utils.fprintf_list ~sep:";@," pp_with_subinstance) instances
......
76 76
    (*Declare the state type*)
77 77
    pp_private_limited_type_decl pp_state_type
78 78
    
79
    (*Declare the init procedure*)
80
    (pp_init_prototype m) pp_init_procedure_name
81
    
82
    (*Declare the step procedure*)
83
    (pp_step_prototype m) pp_step_procedure_name
84
    
85 79
    (*Declare the reset procedure*)
86
    (pp_reset_prototype m) pp_reset_procedure_name
80
    (pp_reset_prototype m)
87 81
    
88
    (*Declare the clear procedure*)
89
    (pp_clear_prototype m) pp_clear_procedure_name
82
    (*Declare the step procedure*)
83
    (pp_step_prototype m)
90 84
    
91 85
    (*Define the state type*)
92 86
    pp_type_decl (pp_state_type, pp_record)

Also available in: Unified diff