Project

General

Profile

Revision 9b2c037f

View differences:

src/backends/EMF/EMF_common.ml
301 301
    fprintf fmt "@]}"
302 302
  )
303 303
  | Array vl -> (
304
     fprintf fmt "{@[\"type\": \"array\",@ \"value\": @[[%a@]],@ "
304
     fprintf fmt "{@[\"type\": \"array\",@ \"value\": @[[%a@]]@ "
305 305
      (pp_emf_cst_or_var_list m) vl;
306 306
     fprintf fmt "@]}"
307 307
  )
308 308
  | Access (arr, idx) -> (
309
      fprintf fmt "{@[\"type\": \"array access\",@ \"array\": @[[%a@]],@ \"idx\": @[[%a@]],@ "
309
      fprintf fmt "{@[\"type\": \"array access\",@ \"array\": @[[%a@]],@ \"idx\": @[[%a@]]@ "
310 310
      (pp_emf_cst_or_var m) arr (pp_emf_cst_or_var m) idx;
311 311
     fprintf fmt "@]}"
312 312
  )
313 313
  | Power (v,nb) ->(
314
      fprintf fmt "{@[\"type\": \"power\",@ \"expr\": @[[%a@]],@ \"nb\": @[[%a@]],@ "
314
      fprintf fmt "{@[\"type\": \"power\",@ \"expr\": @[[%a@]],@ \"nb\": @[[%a@]]@ "
315 315
      (pp_emf_cst_or_var m) v (pp_emf_cst_or_var m) nb;
316 316
     fprintf fmt "@]}"
317 317
  )

Also available in: Unified diff