| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  | #include <assert.h>
 | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  | #include <stdio.h>
 | 
					
						
							| 
									
										
										
										
											2012-09-06 21:36:11 +01:00
										 |  |  | #include <float.h>
 | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  | #include <string.h>
 | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  | #ifdef WIN32
 | 
					
						
							|  |  |  | #include <windows.h>
 | 
					
						
							|  |  |  | #include <io.h>
 | 
					
						
							|  |  |  | #include <fileapi.h>
 | 
					
						
							|  |  |  | #endif
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | #include "jv.h"
 | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  | #include "jv_dtoa.h"
 | 
					
						
							| 
									
										
										
										
											2012-09-06 21:36:11 +01:00
										 |  |  | #include "jv_unicode.h"
 | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  | #define ESC "\033"
 | 
					
						
							|  |  |  | #define COL(c) (ESC "[" c "m")
 | 
					
						
							|  |  |  | #define COLRESET (ESC "[0m")
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | // Colour table. See http://en.wikipedia.org/wiki/ANSI_escape_code#Colors
 | 
					
						
							|  |  |  | // for how to choose these.
 | 
					
						
							| 
									
										
										
										
											2015-07-19 09:36:16 -07:00
										 |  |  | static const jv_kind colour_kinds[] = | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  |   {JV_KIND_NULL,   JV_KIND_FALSE, JV_KIND_TRUE, JV_KIND_NUMBER, | 
					
						
							|  |  |  |    JV_KIND_STRING, JV_KIND_ARRAY, JV_KIND_OBJECT}; | 
					
						
							| 
									
										
										
										
											2013-05-05 22:37:46 +01:00
										 |  |  | static const char* const colours[] = | 
					
						
							| 
									
										
										
										
											2014-07-21 20:08:42 -04:00
										 |  |  |   {COL("1;30"),    COL("0;39"),      COL("0;39"),     COL("0;39"), | 
					
						
							|  |  |  |    COL("0;32"),      COL("1;39"),     COL("1;39")}; | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  | #define FIELD_COLOUR COL("34;1")
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  | static void put_buf(const char *s, int len, FILE *fout, jv *strout, int is_tty) { | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |   if (strout) { | 
					
						
							|  |  |  |     *strout = jv_string_append_buf(*strout, s, len); | 
					
						
							|  |  |  |   } else { | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  | #ifdef WIN32
 | 
					
						
							| 
									
										
										
										
											2015-06-26 21:24:01 -05:00
										 |  |  |   /* See util.h */ | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |   if (is_tty) | 
					
						
							|  |  |  |     WriteFile((HANDLE)_get_osfhandle(fileno(fout)), s, len, NULL, NULL); | 
					
						
							|  |  |  |   else | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |     fwrite(s, 1, len, fout); | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  | #else
 | 
					
						
							|  |  |  |   fwrite(s, 1, len, fout); | 
					
						
							|  |  |  | #endif
 | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |   } | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  | static void put_char(char c, FILE* fout, jv* strout, int T) { | 
					
						
							|  |  |  |   put_buf(&c, 1, fout, strout, T); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  | static void put_str(const char* s, FILE* fout, jv* strout, int T) { | 
					
						
							|  |  |  |   put_buf(s, strlen(s), fout, strout, T); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  | static void put_indent(int n, int flags, FILE* fout, jv* strout, int T) { | 
					
						
							| 
									
										
										
										
											2015-06-03 20:20:11 -05:00
										 |  |  |   if (flags & JV_PRINT_TAB) { | 
					
						
							|  |  |  |     while (n--) | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       put_char('\t', fout, strout, T); | 
					
						
							| 
									
										
										
										
											2015-06-03 20:20:11 -05:00
										 |  |  |   } else { | 
					
						
							|  |  |  |     n *= ((flags & (JV_PRINT_SPACE0 | JV_PRINT_SPACE1 | JV_PRINT_SPACE2)) >> 8); | 
					
						
							|  |  |  |     while (n--) | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       put_char(' ', fout, strout, T); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |   } | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  | static void jvp_dump_string(jv str, int ascii_only, FILE* F, jv* S, int T) { | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |   assert(jv_get_kind(str) == JV_KIND_STRING); | 
					
						
							|  |  |  |   const char* i = jv_string_value(str); | 
					
						
							| 
									
										
										
										
											2013-05-15 00:37:38 +01:00
										 |  |  |   const char* end = i + jv_string_length_bytes(jv_copy(str)); | 
					
						
							| 
									
										
										
										
											2012-09-18 22:47:19 +01:00
										 |  |  |   const char* cstart; | 
					
						
							| 
									
										
										
										
											2012-09-11 14:52:10 +01:00
										 |  |  |   int c = 0; | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |   char buf[32]; | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |   put_char('"', F, S, T); | 
					
						
							| 
									
										
										
										
											2012-09-18 22:47:19 +01:00
										 |  |  |   while ((i = jvp_utf8_next((cstart = i), end, &c))) { | 
					
						
							| 
									
										
										
										
											2012-09-06 21:36:11 +01:00
										 |  |  |     assert(c != -1); | 
					
						
							|  |  |  |     int unicode_escape = 0; | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |     if (0x20 <= c && c <= 0x7E) { | 
					
						
							|  |  |  |       // printable ASCII
 | 
					
						
							|  |  |  |       if (c == '"' || c == '\\') { | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |         put_char('\\', F, S, T); | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |       } | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       put_char(c, F, S, T); | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |     } else if (c < 0x20 || c == 0x7F) { | 
					
						
							|  |  |  |       // ASCII control character
 | 
					
						
							|  |  |  |       switch (c) { | 
					
						
							|  |  |  |       case '\b': | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |         put_char('\\', F, S, T); | 
					
						
							|  |  |  |         put_char('b', F, S, T); | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |         break; | 
					
						
							|  |  |  |       case '\t': | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |         put_char('\\', F, S, T); | 
					
						
							|  |  |  |         put_char('t', F, S, T); | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |         break; | 
					
						
							|  |  |  |       case '\r': | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |         put_char('\\', F, S, T); | 
					
						
							|  |  |  |         put_char('r', F, S, T); | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |         break; | 
					
						
							|  |  |  |       case '\n': | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |         put_char('\\', F, S, T); | 
					
						
							|  |  |  |         put_char('n', F, S, T); | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |         break; | 
					
						
							|  |  |  |       case '\f': | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |         put_char('\\', F, S, T); | 
					
						
							|  |  |  |         put_char('f', F, S, T); | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |         break; | 
					
						
							|  |  |  |       default: | 
					
						
							|  |  |  |         unicode_escape = 1; | 
					
						
							|  |  |  |         break; | 
					
						
							|  |  |  |       } | 
					
						
							| 
									
										
										
										
											2012-09-06 21:36:11 +01:00
										 |  |  |     } else { | 
					
						
							| 
									
										
										
										
											2012-09-18 22:47:19 +01:00
										 |  |  |       if (ascii_only) { | 
					
						
							|  |  |  |         unicode_escape = 1; | 
					
						
							|  |  |  |       } else { | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |         put_buf(cstart, i - cstart, F, S, T); | 
					
						
							| 
									
										
										
										
											2012-09-18 22:47:19 +01:00
										 |  |  |       } | 
					
						
							| 
									
										
										
										
											2012-09-06 21:36:11 +01:00
										 |  |  |     } | 
					
						
							|  |  |  |     if (unicode_escape) { | 
					
						
							|  |  |  |       if (c <= 0xffff) { | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |         sprintf(buf, "\\u%04x", c); | 
					
						
							| 
									
										
										
										
											2012-09-06 21:36:11 +01:00
										 |  |  |       } else { | 
					
						
							|  |  |  |         c -= 0x10000; | 
					
						
							| 
									
										
										
										
											2015-07-19 09:36:16 -07:00
										 |  |  |         sprintf(buf, "\\u%04x\\u%04x", | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |                 0xD800 | ((c & 0xffc00) >> 10), | 
					
						
							|  |  |  |                 0xDC00 | (c & 0x003ff)); | 
					
						
							| 
									
										
										
										
											2012-09-06 21:36:11 +01:00
										 |  |  |       } | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       put_str(buf, F, S, T); | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |     } | 
					
						
							|  |  |  |   } | 
					
						
							| 
									
										
										
										
											2012-09-06 21:36:11 +01:00
										 |  |  |   assert(c != -1); | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |   put_char('"', F, S, T); | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  | static void put_refcnt(struct dtoa_context* C, int refcnt, FILE *F, jv* S, int T){ | 
					
						
							| 
									
										
										
										
											2014-11-28 18:56:06 -06:00
										 |  |  |   char buf[JVP_DTOA_FMT_MAX_LEN]; | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |   put_char(' ', F, S, T); | 
					
						
							|  |  |  |   put_char('(', F, S, T); | 
					
						
							|  |  |  |   put_str(jvp_dtoa_fmt(C, buf, refcnt), F, S, T); | 
					
						
							|  |  |  |   put_char(')', F, S, T); | 
					
						
							| 
									
										
										
										
											2014-11-28 18:56:06 -06:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  | static void jv_dump_term(struct dtoa_context* C, jv x, int flags, int indent, FILE* F, jv* S) { | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |   char buf[JVP_DTOA_FMT_MAX_LEN]; | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  |   const char* colour = 0; | 
					
						
							| 
									
										
										
										
											2014-11-28 18:56:06 -06:00
										 |  |  |   double refcnt = (flags & JV_PRINT_REFCOUNT) ? jv_get_refcnt(x) - 1 : -1; | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  |   if (flags & JV_PRINT_COLOUR) { | 
					
						
							|  |  |  |     for (unsigned i=0; i<sizeof(colour_kinds)/sizeof(colour_kinds[0]); i++) { | 
					
						
							|  |  |  |       if (jv_get_kind(x) == colour_kinds[i]) { | 
					
						
							|  |  |  |         colour = colours[i]; | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |         put_str(colour, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  |         break; | 
					
						
							|  |  |  |       } | 
					
						
							|  |  |  |     } | 
					
						
							|  |  |  |   } | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |   switch (jv_get_kind(x)) { | 
					
						
							| 
									
										
										
										
											2013-05-13 15:00:05 +01:00
										 |  |  |   default: | 
					
						
							| 
									
										
										
										
											2012-09-09 15:35:34 +01:00
										 |  |  |   case JV_KIND_INVALID: | 
					
						
							| 
									
										
										
										
											2013-12-31 23:25:20 -06:00
										 |  |  |     if (flags & JV_PRINT_INVALID) { | 
					
						
							|  |  |  |       jv msg = jv_invalid_get_msg(jv_copy(x)); | 
					
						
							|  |  |  |       if (jv_get_kind(msg) == JV_KIND_STRING) { | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |         put_str("<invalid:", F, S, flags & JV_PRINT_ISATTY); | 
					
						
							|  |  |  |         jvp_dump_string(msg, flags | JV_PRINT_ASCII, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							|  |  |  |         put_str(">", F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2013-12-31 23:25:20 -06:00
										 |  |  |       } else { | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |         put_str("<invalid>", F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2013-12-31 23:25:20 -06:00
										 |  |  |       } | 
					
						
							|  |  |  |     } else { | 
					
						
							|  |  |  |       assert(0 && "Invalid value"); | 
					
						
							|  |  |  |     } | 
					
						
							| 
									
										
										
										
											2012-09-09 15:35:34 +01:00
										 |  |  |     break; | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |   case JV_KIND_NULL: | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |     put_str("null", F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |     break; | 
					
						
							|  |  |  |   case JV_KIND_FALSE: | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |     put_str("false", F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |     break; | 
					
						
							|  |  |  |   case JV_KIND_TRUE: | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |     put_str("true", F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |     break; | 
					
						
							| 
									
										
										
										
											2012-09-09 15:35:34 +01:00
										 |  |  |   case JV_KIND_NUMBER: { | 
					
						
							|  |  |  |     double d = jv_number_value(x); | 
					
						
							|  |  |  |     if (d != d) { | 
					
						
							|  |  |  |       // JSON doesn't have NaN, so we'll render it as "null"
 | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       put_str("null", F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-09-09 15:35:34 +01:00
										 |  |  |     } else { | 
					
						
							|  |  |  |       // Normalise infinities to something we can print in valid JSON
 | 
					
						
							|  |  |  |       if (d > DBL_MAX) d = DBL_MAX; | 
					
						
							|  |  |  |       if (d < -DBL_MAX) d = -DBL_MAX; | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       put_str(jvp_dtoa_fmt(C, buf, d), F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-09-09 15:35:34 +01:00
										 |  |  |     } | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |     break; | 
					
						
							| 
									
										
										
										
											2012-09-09 15:35:34 +01:00
										 |  |  |   } | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |   case JV_KIND_STRING: | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |     jvp_dump_string(x, flags & JV_PRINT_ASCII, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2014-11-28 18:56:06 -06:00
										 |  |  |     if (flags & JV_PRINT_REFCOUNT) | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       put_refcnt(C, refcnt, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |     break; | 
					
						
							|  |  |  |   case JV_KIND_ARRAY: { | 
					
						
							| 
									
										
										
										
											2012-09-11 15:51:12 +01:00
										 |  |  |     if (jv_array_length(jv_copy(x)) == 0) { | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       put_str("[]", F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-09-11 15:51:12 +01:00
										 |  |  |       break; | 
					
						
							|  |  |  |     } | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |     put_str("[", F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |     if (flags & JV_PRINT_PRETTY) { | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       put_char('\n', F, S, flags & JV_PRINT_ISATTY); | 
					
						
							|  |  |  |       put_indent(indent + 1, flags, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |     } | 
					
						
							| 
									
										
										
										
											2012-12-31 23:27:00 +00:00
										 |  |  |     jv_array_foreach(x, i, elem) { | 
					
						
							| 
									
										
										
										
											2012-09-11 15:51:12 +01:00
										 |  |  |       if (i!=0) { | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |         if (flags & JV_PRINT_PRETTY) { | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |           put_str(",\n", F, S, flags & JV_PRINT_ISATTY); | 
					
						
							|  |  |  |           put_indent(indent + 1, flags, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |         } else { | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |           put_str(",", F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |         } | 
					
						
							| 
									
										
										
										
											2012-09-11 15:51:12 +01:00
										 |  |  |       } | 
					
						
							| 
									
										
										
										
											2015-06-03 20:20:11 -05:00
										 |  |  |       jv_dump_term(C, elem, flags, indent + 1, F, S); | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       if (colour) put_str(colour, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |     } | 
					
						
							|  |  |  |     if (flags & JV_PRINT_PRETTY) { | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       put_char('\n', F, S, flags & JV_PRINT_ISATTY); | 
					
						
							|  |  |  |       put_indent(indent, flags, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |     } | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |     if (colour) put_str(colour, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							|  |  |  |     put_char(']', F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2014-11-28 18:56:06 -06:00
										 |  |  |     if (flags & JV_PRINT_REFCOUNT) | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       put_refcnt(C, refcnt, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |     break; | 
					
						
							|  |  |  |   } | 
					
						
							|  |  |  |   case JV_KIND_OBJECT: { | 
					
						
							| 
									
										
										
										
											2012-09-11 15:51:12 +01:00
										 |  |  |     if (jv_object_length(jv_copy(x)) == 0) { | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       put_str("{}", F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-09-11 15:51:12 +01:00
										 |  |  |       break; | 
					
						
							|  |  |  |     } | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |     put_char('{', F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |     if (flags & JV_PRINT_PRETTY) { | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       put_char('\n', F, S, flags & JV_PRINT_ISATTY); | 
					
						
							|  |  |  |       put_indent(indent + 1, flags, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |     } | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |     int first = 1; | 
					
						
							| 
									
										
										
										
											2013-05-31 12:15:58 +01:00
										 |  |  |     int i = 0; | 
					
						
							| 
									
										
										
										
											2013-05-29 11:43:23 +01:00
										 |  |  |     jv keyset = jv_null(); | 
					
						
							|  |  |  |     while (1) { | 
					
						
							|  |  |  |       jv key, value; | 
					
						
							|  |  |  |       if (flags & JV_PRINT_SORTED) { | 
					
						
							|  |  |  |         if (first) { | 
					
						
							|  |  |  |           keyset = jv_keys(jv_copy(x)); | 
					
						
							|  |  |  |           i = 0; | 
					
						
							|  |  |  |         } else { | 
					
						
							|  |  |  |           i++; | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  |         if (i >= jv_array_length(jv_copy(keyset))) { | 
					
						
							|  |  |  |           jv_free(keyset); | 
					
						
							|  |  |  |           break; | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  |         key = jv_array_get(jv_copy(keyset), i); | 
					
						
							|  |  |  |         value = jv_object_get(jv_copy(x), jv_copy(key)); | 
					
						
							|  |  |  |       } else { | 
					
						
							|  |  |  |         if (first) { | 
					
						
							|  |  |  |           i = jv_object_iter(x); | 
					
						
							|  |  |  |         } else { | 
					
						
							|  |  |  |           i = jv_object_iter_next(x, i); | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  |         if (!jv_object_iter_valid(x, i)) break; | 
					
						
							|  |  |  |         key = jv_object_iter_key(x, i); | 
					
						
							|  |  |  |         value = jv_object_iter_value(x, i); | 
					
						
							|  |  |  |       } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-09-11 15:51:12 +01:00
										 |  |  |       if (!first) { | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |         if (flags & JV_PRINT_PRETTY){ | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |           put_str(",\n", F, S, flags & JV_PRINT_ISATTY); | 
					
						
							|  |  |  |           put_indent(indent + 1, flags, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |         } else { | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |           put_str(",", F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |         } | 
					
						
							| 
									
										
										
										
											2012-09-11 15:51:12 +01:00
										 |  |  |       } | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       if (colour) put_str(COLRESET, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |       first = 0; | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       if (colour) put_str(FIELD_COLOUR, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							|  |  |  |       jvp_dump_string(key, flags & JV_PRINT_ASCII, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  |       jv_free(key); | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       if (colour) put_str(COLRESET, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       if (colour) put_str(colour, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							|  |  |  |       put_str((flags & JV_PRINT_PRETTY) ? ": " : ":", F, S, flags & JV_PRINT_ISATTY); | 
					
						
							|  |  |  |       if (colour) put_str(COLRESET, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2015-07-19 09:36:16 -07:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-06-03 20:20:11 -05:00
										 |  |  |       jv_dump_term(C, value, flags, indent + 1, F, S); | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       if (colour) put_str(colour, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |     } | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |     if (flags & JV_PRINT_PRETTY) { | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       put_char('\n', F, S, flags & JV_PRINT_ISATTY); | 
					
						
							|  |  |  |       put_indent(indent, flags, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |     } | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |     if (colour) put_str(colour, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							|  |  |  |     put_char('}', F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2014-11-28 18:56:06 -06:00
										 |  |  |     if (flags & JV_PRINT_REFCOUNT) | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |       put_refcnt(C, refcnt, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |   } | 
					
						
							|  |  |  |   } | 
					
						
							|  |  |  |   jv_free(x); | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  |   if (colour) { | 
					
						
							| 
									
										
										
										
											2015-06-22 18:15:51 -05:00
										 |  |  |     put_str(COLRESET, F, S, flags & JV_PRINT_ISATTY); | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  |   } | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-12-26 18:37:17 -06:00
										 |  |  | void jv_dumpf(jv x, FILE *f, int flags) { | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |   struct dtoa_context C; | 
					
						
							|  |  |  |   jvp_dtoa_context_init(&C); | 
					
						
							| 
									
										
										
										
											2013-12-26 18:37:17 -06:00
										 |  |  |   jv_dump_term(&C, x, flags, 0, f, 0); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |   jvp_dtoa_context_free(&C); | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-12-26 18:37:17 -06:00
										 |  |  | void jv_dump(jv x, int flags) { | 
					
						
							|  |  |  |   jv_dumpf(x, stdout, flags); | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-12-31 23:25:20 -06:00
										 |  |  | /* This one is nice for use in debuggers */ | 
					
						
							| 
									
										
										
										
											2013-12-26 18:37:17 -06:00
										 |  |  | void jv_show(jv x, int flags) { | 
					
						
							|  |  |  |   if (flags == -1) | 
					
						
							| 
									
										
										
										
											2015-06-03 20:20:11 -05:00
										 |  |  |     flags = JV_PRINT_PRETTY | JV_PRINT_COLOUR | JV_PRINT_INDENT_FLAGS(2); | 
					
						
							| 
									
										
										
										
											2013-12-31 23:25:20 -06:00
										 |  |  |   jv_dumpf(jv_copy(x), stderr, flags | JV_PRINT_INVALID); | 
					
						
							| 
									
										
										
										
											2014-02-26 01:43:00 -06:00
										 |  |  |   fflush(stderr); | 
					
						
							| 
									
										
										
										
											2013-12-26 18:37:17 -06:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  | jv jv_dump_string(jv x, int flags) { | 
					
						
							|  |  |  |   struct dtoa_context C; | 
					
						
							|  |  |  |   jvp_dtoa_context_init(&C); | 
					
						
							|  |  |  |   jv s = jv_string(""); | 
					
						
							|  |  |  |   jv_dump_term(&C, x, flags, 0, 0, &s); | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |   jvp_dtoa_context_free(&C); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |   return s; | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											2015-04-17 18:18:33 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  | char *jv_dump_string_trunc(jv x, char *outbuf, size_t bufsize) { | 
					
						
							|  |  |  |   x = jv_dump_string(x,0); | 
					
						
							|  |  |  |   const char* p = jv_string_value(x); | 
					
						
							|  |  |  |   const size_t len = strlen(p); | 
					
						
							|  |  |  |   strncpy(outbuf, p, bufsize); | 
					
						
							|  |  |  |   outbuf[bufsize - 1] = 0; | 
					
						
							|  |  |  |   if (len > bufsize - 1 && bufsize >= 4) { | 
					
						
							|  |  |  |     // Indicate truncation with '...'
 | 
					
						
							|  |  |  |     outbuf[bufsize - 2]='.'; | 
					
						
							|  |  |  |     outbuf[bufsize - 3]='.'; | 
					
						
							|  |  |  |     outbuf[bufsize - 4]='.'; | 
					
						
							|  |  |  |   } | 
					
						
							|  |  |  |   jv_free(x); | 
					
						
							|  |  |  |   return outbuf; | 
					
						
							|  |  |  | } |