blob: 4aa91e95e85f70402db2743660027dcf23db525d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
(* *********************************************************************)
(* *)
(* The Compcert verified compiler *)
(* *)
(* Bernhard Schommer, AbsInt Angewandte Informatik GmbH *)
(* *)
(* AbsInt Angewandte Informatik GmbH. All rights reserved. This file *)
(* is distributed under the terms of the INRIA Non-Commercial *)
(* License Agreement. *)
(* *)
(* *********************************************************************)
open Printf
(* Simple functions for JSON printing *)
(* Print a string as json string *)
let p_jstring oc s = fprintf oc "\"%s\"" s
(* Print a list as json array *)
let p_jarray elem oc l =
match l with
| [] -> fprintf oc "[]"
| hd::tail ->
output_string oc "["; elem oc hd;
List.iter (fprintf oc ",%a" elem) tail;
output_string oc "]"
(* Print a bool as json bool *)
let p_jbool oc = fprintf oc "%B"
(* Print a int as json int *)
let p_jint oc = fprintf oc "%d"
(* Print a member *)
let p_jmember oc name p_mem mem =
fprintf oc "\n%a:%a" p_jstring name p_mem mem
(* Print optional value *)
let p_jopt p_elem oc = function
| None -> output_string oc "null"
| Some i -> p_elem oc i
|