Project

General

Profile

Revision 7c79dd93

View differences:

src/backends/EMF/EMF_backend.ml
379 379
      pp_emf_vars_decl m.mstep.step_outputs
380 380
      pp_emf_vars_decl m.mstep.step_locals
381 381
    ;
382
    fprintf fmt "\"original_name\": \"%s\",@ " m.mname.node_id;
382 383
    fprintf fmt "\"instrs\": {@[<v 0> %a@]@ }"
383 384
      (pp_emf_instrs m) instrs;
384 385
    fprintf fmt "@]@ }"
src/backends/EMF/EMF_common.ml
151 151
(******** Other print functions *)
152 152
    
153 153
let pp_emf_var_decl fmt v =
154
  fprintf fmt "@[{\"name\": \"%a\", \"datatype\":\"%a\"}@]"
154
  fprintf fmt "@[{\"name\": \"%a\", \"datatype\":\"%a\", \"original_name\": \"%a\"}@]"
155 155
    pp_var_name v
156 156
    pp_var_type v
157
    Printers.pp_var_name v
157 158
    
158 159
let pp_emf_vars_decl fmt vl =
159 160
  fprintf fmt "@[";
......
200 201
  | StateVar v -> (
201 202
    fprintf fmt "{@[\"type\": \"variable\",@ \"value\": \"%a\",@ "
202 203
      pp_var_name v;
204
    (*    fprintf fmt "\"original_name\": \"%a\",@ " Printers.pp_var_name v; *)
203 205
    fprintf fmt "\"datatype\": \"%a\"@ " pp_var_type v;
204 206
    fprintf fmt "@]}"
205 207
  )

Also available in: Unified diff