xs_json.h 11 KB

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