xs_json.h 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550
  1. /* copyright (c) 2022 - 2023 grunfink et al. / MIT license */
  2. #ifndef _XS_JSON_H
  3. #define _XS_JSON_H
  4. int xs_json_dump_pp(const xs_val *data, int indent, FILE *f);
  5. xs_str *xs_json_dumps_pp(const xs_val *data, int indent);
  6. #define xs_json_dumps(data) xs_json_dumps_pp(data, 0)
  7. #define xs_json_dump(data, f) xs_json_dumps_pp(data, 0, f)
  8. xs_val *xs_json_loads(const xs_str *json);
  9. xs_val *xs_json_load(FILE *f);
  10. #ifdef XS_IMPLEMENTATION
  11. /** IMPLEMENTATION **/
  12. /** JSON dumps **/
  13. static void _xs_json_dump_str(const char *data, FILE *f)
  14. /* dumps a string in JSON format */
  15. {
  16. unsigned char c;
  17. fputs("\"", f);
  18. while ((c = *data)) {
  19. if (c == '\n')
  20. fputs("\\n", f);
  21. else
  22. if (c == '\r')
  23. fputs("\\r", f);
  24. else
  25. if (c == '\t')
  26. fputs("\\t", f);
  27. else
  28. if (c == '\\')
  29. fputs("\\\\", f);
  30. else
  31. if (c == '"')
  32. fputs("\\\"", f);
  33. else
  34. if (c < 32)
  35. fprintf(f, "\\u%04x", (unsigned int) c);
  36. else
  37. fputc(c, f);
  38. data++;
  39. }
  40. fputs("\"", f);
  41. }
  42. static void _xs_json_indent(int level, int indent, FILE *f)
  43. /* adds indentation */
  44. {
  45. if (indent) {
  46. int n;
  47. fputc('\n', f);
  48. for (n = 0; n < level * indent; n++)
  49. fputc(' ', f);
  50. }
  51. }
  52. static void _xs_json_dump(const xs_val *s_data, int level, int indent, FILE *f)
  53. /* dumps partial data as JSON */
  54. {
  55. int c = 0;
  56. xs_val *v;
  57. xs_val *data = (xs_val *)s_data;
  58. switch (xs_type(data)) {
  59. case XSTYPE_NULL:
  60. fputs("null", f);
  61. break;
  62. case XSTYPE_TRUE:
  63. fputs("true", f);
  64. break;
  65. case XSTYPE_FALSE:
  66. fputs("false", f);
  67. break;
  68. case XSTYPE_NUMBER:
  69. fputs(xs_number_str(data), f);
  70. break;
  71. case XSTYPE_LIST:
  72. fputc('[', f);
  73. while (xs_list_iter(&data, &v)) {
  74. if (c != 0)
  75. fputc(',', f);
  76. _xs_json_indent(level + 1, indent, f);
  77. _xs_json_dump(v, level + 1, indent, f);
  78. c++;
  79. }
  80. _xs_json_indent(level, indent, f);
  81. fputc(']', f);
  82. break;
  83. case XSTYPE_DICT:
  84. fputc('{', f);
  85. xs_str *k;
  86. while (xs_dict_iter(&data, &k, &v)) {
  87. if (c != 0)
  88. fputc(',', f);
  89. _xs_json_indent(level + 1, indent, f);
  90. _xs_json_dump_str(k, f);
  91. fputc(':', f);
  92. if (indent)
  93. fputc(' ', f);
  94. _xs_json_dump(v, level + 1, indent, f);
  95. c++;
  96. }
  97. _xs_json_indent(level, indent, f);
  98. fputc('}', f);
  99. break;
  100. case XSTYPE_STRING:
  101. _xs_json_dump_str(data, f);
  102. break;
  103. default:
  104. break;
  105. }
  106. }
  107. xs_str *xs_json_dumps_pp(const xs_val *data, int indent)
  108. /* dumps data as a JSON string */
  109. {
  110. xs_str *s = NULL;
  111. size_t sz;
  112. FILE *f;
  113. if ((f = open_memstream(&s, &sz)) != NULL) {
  114. int r = xs_json_dump_pp(data, indent, f);
  115. fclose(f);
  116. if (!r)
  117. s = xs_free(s);
  118. }
  119. return s;
  120. }
  121. int xs_json_dump_pp(const xs_val *data, int indent, FILE *f)
  122. /* dumps data into a file as JSON */
  123. {
  124. xstype t = xs_type(data);
  125. if (t == XSTYPE_LIST || t == XSTYPE_DICT) {
  126. _xs_json_dump(data, 0, indent, f);
  127. return 1;
  128. }
  129. return 0;
  130. }
  131. /** JSON loads **/
  132. /* this code comes mostly from the Minimum Profit Text Editor (MPDM) */
  133. typedef enum {
  134. JS_ERROR = -1,
  135. JS_INCOMPLETE,
  136. JS_OCURLY,
  137. JS_OBRACK,
  138. JS_CCURLY,
  139. JS_CBRACK,
  140. JS_COMMA,
  141. JS_COLON,
  142. JS_VALUE,
  143. JS_STRING,
  144. JS_INTEGER,
  145. JS_REAL,
  146. JS_TRUE,
  147. JS_FALSE,
  148. JS_NULL,
  149. JS_ARRAY,
  150. JS_OBJECT
  151. } js_type;
  152. static xs_val *_xs_json_loads_lexer(const char **json, js_type *t)
  153. {
  154. char c;
  155. const char *s = *json;
  156. xs_val *v = NULL;
  157. /* skip blanks */
  158. while (*s == L' ' || *s == L'\t' || *s == L'\n' || *s == L'\r')
  159. s++;
  160. c = *s++;
  161. if (c == '{')
  162. *t = JS_OCURLY;
  163. else
  164. if (c == '}')
  165. *t = JS_CCURLY;
  166. else
  167. if (c == '[')
  168. *t = JS_OBRACK;
  169. else
  170. if (c == ']')
  171. *t = JS_CBRACK;
  172. else
  173. if (c == ',')
  174. *t = JS_COMMA;
  175. else
  176. if (c == ':')
  177. *t = JS_COLON;
  178. else
  179. if (c == '"') {
  180. *t = JS_STRING;
  181. v = xs_str_new(NULL);
  182. while ((c = *s) != '"' && c != '\0') {
  183. char tmp[5];
  184. int cp, i;
  185. if (c == '\\') {
  186. s++;
  187. c = *s;
  188. switch (c) {
  189. case 'n': c = '\n'; break;
  190. case 'r': c = '\r'; break;
  191. case 't': c = '\t'; break;
  192. case 'u': /* Unicode codepoint as an hex char */
  193. s++;
  194. strncpy(tmp, s, 4);
  195. tmp[4] = '\0';
  196. if (strlen(tmp) != 4) {
  197. *t = JS_ERROR;
  198. break;
  199. }
  200. s += 3; /* skip as it was one byte */
  201. sscanf(tmp, "%04x", &i);
  202. if (i >= 0xd800 && i <= 0xdfff) {
  203. /* it's a surrogate pair */
  204. cp = (i & 0x3ff) << 10;
  205. /* skip to the next value (last char + \ + u) */
  206. s++;
  207. if (memcmp(s, "\\u", 2) != 0) {
  208. *t = JS_ERROR;
  209. break;
  210. }
  211. s += 2;
  212. strncpy(tmp, s, 4);
  213. tmp[4] = '\0';
  214. if (strlen(tmp) != 4) {
  215. *t = JS_ERROR;
  216. break;
  217. }
  218. s += 3; /* skip as it was one byte */
  219. sscanf(tmp, "%04x", &i);
  220. cp |= (i & 0x3ff);
  221. cp += 0x10000;
  222. }
  223. else
  224. cp = i;
  225. /* replace dangerous control codes with their visual representations */
  226. if (cp >= '\0' && cp < ' ' && !strchr("\r\n\t", cp))
  227. cp += 0x2400;
  228. v = xs_utf8_enc(v, cp);
  229. c = '\0';
  230. break;
  231. }
  232. }
  233. if (c)
  234. v = xs_append_m(v, &c, 1);
  235. s++;
  236. }
  237. if (c != '\0')
  238. s++;
  239. }
  240. else
  241. if (c == '-' || (c >= '0' && c <= '9') || c == '.') {
  242. xs *vn = NULL;
  243. *t = JS_INTEGER;
  244. vn = xs_str_new(NULL);
  245. vn = xs_append_m(vn, &c, 1);
  246. while (((c = *s) >= '0' && c <= '9') || c == '.') {
  247. if (c == '.')
  248. *t = JS_REAL;
  249. vn = xs_append_m(vn, &c, 1);
  250. s++;
  251. }
  252. /* convert to XSTYPE_NUMBER */
  253. v = xs_number_new(atof(vn));
  254. }
  255. else
  256. if (c == 't' && strncmp(s, "rue", 3) == 0) {
  257. s += 3;
  258. *t = JS_TRUE;
  259. v = xs_val_new(XSTYPE_TRUE);
  260. }
  261. else
  262. if (c == 'f' && strncmp(s, "alse", 4) == 0) {
  263. s += 4;
  264. *t = JS_FALSE;
  265. v = xs_val_new(XSTYPE_FALSE);
  266. }
  267. else
  268. if (c == 'n' && strncmp(s, "ull", 3) == 0) {
  269. s += 3;
  270. *t = JS_NULL;
  271. v = xs_val_new(XSTYPE_NULL);
  272. }
  273. else
  274. *t = JS_ERROR;
  275. *json = s;
  276. return v;
  277. }
  278. static xs_list *_xs_json_loads_array(const char **json, js_type *t);
  279. static xs_dict *_xs_json_loads_object(const char **json, js_type *t);
  280. static xs_val *_xs_json_loads_value(const char **json, js_type *t, xs_val *v)
  281. /* parses a JSON value */
  282. {
  283. if (*t == JS_OBRACK)
  284. v = _xs_json_loads_array(json, t);
  285. else
  286. if (*t == JS_OCURLY)
  287. v = _xs_json_loads_object(json, t);
  288. if (*t >= JS_VALUE)
  289. *t = JS_VALUE;
  290. else
  291. *t = JS_ERROR;
  292. return v;
  293. }
  294. static xs_list *_xs_json_loads_array(const char **json, js_type *t)
  295. /* parses a JSON array */
  296. {
  297. const char *s = *json;
  298. xs *v;
  299. xs_list *l;
  300. js_type tt;
  301. l = xs_list_new();
  302. *t = JS_INCOMPLETE;
  303. v = _xs_json_loads_lexer(&s, &tt);
  304. if (tt == JS_CBRACK)
  305. *t = JS_ARRAY;
  306. else {
  307. v = _xs_json_loads_value(&s, &tt, v);
  308. if (tt == JS_VALUE) {
  309. l = xs_list_append(l, v);
  310. while (*t == JS_INCOMPLETE) {
  311. xs_free(_xs_json_loads_lexer(&s, &tt));
  312. if (tt == JS_CBRACK)
  313. *t = JS_ARRAY;
  314. else
  315. if (tt == JS_COMMA) {
  316. xs *v2;
  317. v2 = _xs_json_loads_lexer(&s, &tt);
  318. v2 = _xs_json_loads_value(&s, &tt, v2);
  319. if (tt == JS_VALUE)
  320. l = xs_list_append(l, v2);
  321. else
  322. *t = JS_ERROR;
  323. }
  324. else
  325. *t = JS_ERROR;
  326. }
  327. }
  328. else
  329. *t = JS_ERROR;
  330. }
  331. if (*t == JS_ERROR)
  332. l = xs_free(l);
  333. *json = s;
  334. return l;
  335. }
  336. static xs_dict *_xs_json_loads_object(const char **json, js_type *t)
  337. /* parses a JSON object */
  338. {
  339. const char *s = *json;
  340. xs *k1;
  341. xs_dict *d;
  342. js_type tt;
  343. d = xs_dict_new();
  344. *t = JS_INCOMPLETE;
  345. k1 = _xs_json_loads_lexer(&s, &tt);
  346. if (tt == JS_CCURLY)
  347. *t = JS_OBJECT;
  348. else
  349. if (tt == JS_STRING) {
  350. xs_free(_xs_json_loads_lexer(&s, &tt));
  351. if (tt == JS_COLON) {
  352. xs *v1;
  353. v1 = _xs_json_loads_lexer(&s, &tt);
  354. v1 = _xs_json_loads_value(&s, &tt, v1);
  355. if (tt == JS_VALUE) {
  356. d = xs_dict_append(d, k1, v1);
  357. while (*t == JS_INCOMPLETE) {
  358. xs_free(_xs_json_loads_lexer(&s, &tt));
  359. if (tt == JS_CCURLY)
  360. *t = JS_OBJECT;
  361. else
  362. if (tt == JS_COMMA) {
  363. xs *k = _xs_json_loads_lexer(&s, &tt);
  364. if (tt == JS_STRING) {
  365. xs_free(_xs_json_loads_lexer(&s, &tt));
  366. if (tt == JS_COLON) {
  367. xs *v;
  368. v = _xs_json_loads_lexer(&s, &tt);
  369. v = _xs_json_loads_value(&s, &tt, v);
  370. if (tt == JS_VALUE)
  371. d = xs_dict_append(d, k, v);
  372. else
  373. *t = JS_ERROR;
  374. }
  375. else
  376. *t = JS_ERROR;
  377. }
  378. else
  379. *t = JS_ERROR;
  380. }
  381. else
  382. *t = JS_ERROR;
  383. }
  384. }
  385. else
  386. *t = JS_ERROR;
  387. }
  388. else
  389. *t = JS_ERROR;
  390. }
  391. else
  392. *t = JS_ERROR;
  393. if (*t == JS_ERROR)
  394. d = xs_free(d);
  395. *json = s;
  396. return d;
  397. }
  398. xs_val *xs_json_loads(const xs_str *json)
  399. /* loads a string in JSON format and converts to a multiple data */
  400. {
  401. xs_val *v = NULL;
  402. js_type t;
  403. xs_free(_xs_json_loads_lexer(&json, &t));
  404. if (t == JS_OBRACK)
  405. v = _xs_json_loads_array(&json, &t);
  406. else
  407. if (t == JS_OCURLY)
  408. v = _xs_json_loads_object(&json, &t);
  409. else
  410. t = JS_ERROR;
  411. return v;
  412. }
  413. xs_val *xs_json_load(FILE *f)
  414. /* loads a JSON file */
  415. {
  416. xs *o = xs_readall(f);
  417. return o ? xs_json_loads(o) : NULL;
  418. }
  419. #endif /* XS_IMPLEMENTATION */
  420. #endif /* _XS_JSON_H */