CXM_json.anubis
3.86 KB
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
/*
* Created by PyramIDE.
* User: ricard
* Date: 18/08/2008
* Time: 08:12
*
* To change this template use Tools | Options | Coding | Edit Standard Headers.
*/
read tools/basis.anubis
read tools/printable_tree.anubis
public type JsonMember:...
public type JsonValue:
json_object(List(JsonMember)),
json_array(List(JsonValue)),
json_int(Int value),
json_float(Float value, Int precision),
json_string(String value),
json_bool(Bool value),
json_null.
public type JsonMember:
json_member(String name,
JsonValue value).
//-------------------------------
// helpers
public define JsonMember
json_member
(
String name,
List(JsonMember) value,
) =
json_member(name, json_object(value)).
public define JsonMember
json_member
(
String name,
List(JsonValue) value,
) =
json_member(name, json_array(value)).
public define JsonMember
json_member
(
String name,
Int value,
) =
json_member(name, json_int(value)).
public define JsonMember
json_member
(
String name,
Float value,
Int precision,
) =
json_member(name, json_float(value, precision)).
public define JsonMember
json_member
(
String name,
String value,
) =
json_member(name, json_string(value)).
public define JsonMember
json_member
(
String name,
Bool value,
) =
json_member(name, json_bool(value)).
public define JsonMember
json_null
(
String name,
) =
json_member(name, json_null).
//-------------------------------------------
// Outputing Json to Printable_tree
define List(Word8)
_format_json_esc
(
List(Word8) original,
List(Word8) new_string,
) =
if original is
{
[] then new_string,
[h . t] then
if (h >=+ 32 & h +=< 33) | (h >=+ 35 & h +=< 91) | h >=+ 93 then // Allowed characters for JSON see RFC4627 + " ' " Why ' ???
_format_json_esc(t, [h . new_string])
else if h = '\n' then _format_json_esc(t, ['n', '\\' . new_string])
else if h = '\r' then _format_json_esc(t, ['r', '\\' . new_string])
else if h = '\t' then _format_json_esc(t, ['t', '\\' . new_string])
else if h = 0x08 then _format_json_esc(t, ['b', '\\' . new_string]) //Backspace
else _format_json_esc(t, [h, '\\' . new_string])
}.
public define String
format_json_esc
(
String original,
) =
implode(reverse(_format_json_esc(explode(original), [],))).
public define Printable_tree
format_json
(
JsonValue json
).
public define Printable_tree
format_json_member
(
JsonMember member
) =
if member is json_member(name, value) then
[ "\"", name, "\":" . format_json(value) ].
define Printable_tree
format_json_object
(
List(JsonMember) members
) =
if members is
{
[] then [],
[h . t] then [ format_json_member(h), (if t is [] then "" else ",") . format_json_object(t) ]
}.
define Printable_tree
format_json_array
(
List(JsonValue) values
) =
if values is
{
[] then [],
[h . t] then [ format_json(h), (if t is [] then "" else ",") . format_json_array(t) ]
}.
public define Printable_tree
format_json
(
JsonValue json
) =
if json is
{
json_object(members) then [ "{", format_json_object(members), "}" . [] ],
json_array(values) then [ "[", format_json_array(values), "]" . [] ],
json_int(i) then int_pt(i, []),
json_float(f, p) then str_pt(float_to_string(f, p), []),
json_string(s) then str_pt("\"" + format_json_esc(s) + "\"", []),
json_bool(b) then str_pt(if b then "true" else "false", []),
json_null then str_pt("null", [])
}.
public define WriteFileResult
write_to_file
(
String filename, //filename where the JSON will be dump
JsonValue json //JSON to dump
)=
write_to_file(filename, format_json(json)).