Project

General

Profile

« Previous | Next » 

Revision 7c79dd93

Added by Pierre-Loïc Garoche over 4 years ago

[EMF] adding original name field in the JSON

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