Project

General

Profile

Revision 7c79dd93 src/backends/EMF/EMF_common.ml

View differences:

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