| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  | #include "jv.h"
 | 
					
						
							|  |  |  | #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
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											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.
 | 
					
						
							| 
									
										
										
										
											2013-05-05 22:37:46 +01: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[] = | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  |   {COL("30;1"),    COL("0"),      COL("0"),     COL("0"), | 
					
						
							|  |  |  |    COL("32"),      COL("37"),     COL("37")}; | 
					
						
							|  |  |  | #define FIELD_COLOUR COL("34;1")
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  | static void put_buf(const char* s, int len, FILE* fout, jv* strout) { | 
					
						
							|  |  |  |   if (strout) { | 
					
						
							|  |  |  |     *strout = jv_string_append_buf(*strout, s, len); | 
					
						
							|  |  |  |   } else { | 
					
						
							|  |  |  |     fwrite(s, 1, len, fout); | 
					
						
							|  |  |  |   } | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | static void put_char(char c, FILE* fout, jv* strout) { | 
					
						
							|  |  |  |   put_buf(&c, 1, fout, strout); | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | static void put_str(const char* s, FILE* fout, jv* strout) { | 
					
						
							|  |  |  |   put_buf(s, strlen(s), fout, strout); | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | static void put_space(int n, FILE* fout, jv* strout) { | 
					
						
							|  |  |  |   while (n--) { | 
					
						
							|  |  |  |     put_char(' ', fout, strout); | 
					
						
							|  |  |  |   } | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | static void jvp_dump_string(jv str, int ascii_only, FILE* F, jv* S) { | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |   assert(jv_get_kind(str) == JV_KIND_STRING); | 
					
						
							|  |  |  |   const char* i = jv_string_value(str); | 
					
						
							| 
									
										
										
										
											2012-09-06 21:36:11 +01:00
										 |  |  |   const char* end = i + jv_string_length(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]; | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  |   put_char('"', F, S); | 
					
						
							| 
									
										
										
										
											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 == '\\') { | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |         put_char('\\', F, S); | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |       } | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |       put_char(c, F, S); | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |     } else if (c < 0x20 || c == 0x7F) { | 
					
						
							|  |  |  |       // ASCII control character
 | 
					
						
							|  |  |  |       switch (c) { | 
					
						
							|  |  |  |       case '\b': | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |         put_char('\\', F, S); | 
					
						
							|  |  |  |         put_char('b', F, S); | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |         break; | 
					
						
							|  |  |  |       case '\t': | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |         put_char('\\', F, S); | 
					
						
							|  |  |  |         put_char('t', F, S); | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |         break; | 
					
						
							|  |  |  |       case '\r': | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |         put_char('\\', F, S); | 
					
						
							|  |  |  |         put_char('r', F, S); | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |         break; | 
					
						
							|  |  |  |       case '\n': | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |         put_char('\\', F, S); | 
					
						
							|  |  |  |         put_char('n', F, S); | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |         break; | 
					
						
							|  |  |  |       case '\f': | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |         put_char('\\', F, S); | 
					
						
							|  |  |  |         put_char('f', F, S); | 
					
						
							| 
									
										
										
										
											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 { | 
					
						
							|  |  |  |         put_buf(cstart, i - cstart, F, S); | 
					
						
							|  |  |  |       } | 
					
						
							| 
									
										
										
										
											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; | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |         sprintf(buf, "\\u%04x\\u%04x",  | 
					
						
							|  |  |  |                 0xD800 | ((c & 0xffc00) >> 10), | 
					
						
							|  |  |  |                 0xDC00 | (c & 0x003ff)); | 
					
						
							| 
									
										
										
										
											2012-09-06 21:36:11 +01:00
										 |  |  |       } | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |       put_str(buf, F, S); | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |     } | 
					
						
							|  |  |  |   } | 
					
						
							| 
									
										
										
										
											2012-09-06 21:36:11 +01:00
										 |  |  |   assert(c != -1); | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  |   put_char('"', F, S); | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-09-11 15:51:12 +01:00
										 |  |  | enum { INDENT = 2 }; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											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; | 
					
						
							|  |  |  |   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]; | 
					
						
							|  |  |  |         put_str(colour, F, S); | 
					
						
							|  |  |  |         break; | 
					
						
							|  |  |  |       } | 
					
						
							|  |  |  |     } | 
					
						
							|  |  |  |   } | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |   switch (jv_get_kind(x)) { | 
					
						
							| 
									
										
										
										
											2012-09-09 15:35:34 +01:00
										 |  |  |   case JV_KIND_INVALID: | 
					
						
							|  |  |  |     assert(0 && "Invalid value"); | 
					
						
							|  |  |  |     break; | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |   case JV_KIND_NULL: | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |     put_str("null", F, S); | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |     break; | 
					
						
							|  |  |  |   case JV_KIND_FALSE: | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |     put_str("false", F, S); | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |     break; | 
					
						
							|  |  |  |   case JV_KIND_TRUE: | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |     put_str("true", F, S); | 
					
						
							| 
									
										
										
										
											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"
 | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |       put_str("null", F, S); | 
					
						
							| 
									
										
										
										
											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; | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |       put_str(jvp_dtoa_fmt(C, buf, d), F, S); | 
					
						
							| 
									
										
										
										
											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: | 
					
						
							| 
									
										
										
										
											2012-09-18 22:47:19 +01:00
										 |  |  |     jvp_dump_string(x, flags & JV_PRINT_ASCII, F, S); | 
					
						
							| 
									
										
										
										
											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) { | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |       put_str("[]", F, S); | 
					
						
							| 
									
										
										
										
											2012-09-11 15:51:12 +01:00
										 |  |  |       break; | 
					
						
							|  |  |  |     } | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |     put_str("[", F, S); | 
					
						
							|  |  |  |     if (flags & JV_PRINT_PRETTY) { | 
					
						
							|  |  |  |       put_char('\n', F, S); | 
					
						
							|  |  |  |       put_space(indent+INDENT, F, S); | 
					
						
							|  |  |  |     } | 
					
						
							| 
									
										
										
										
											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) { | 
					
						
							|  |  |  |           put_str(",\n", F, S); | 
					
						
							|  |  |  |           put_space(indent+INDENT, F, S); | 
					
						
							|  |  |  |         } else { | 
					
						
							| 
									
										
										
										
											2012-12-02 23:24:07 +00:00
										 |  |  |           put_str(",", F, S); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |         } | 
					
						
							| 
									
										
										
										
											2012-09-11 15:51:12 +01:00
										 |  |  |       } | 
					
						
							| 
									
										
										
										
											2012-12-31 23:27:00 +00:00
										 |  |  |       jv_dump_term(C, elem, flags, indent + INDENT, F, S); | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  |       if (colour) put_str(colour, F, S); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |     } | 
					
						
							|  |  |  |     if (flags & JV_PRINT_PRETTY) { | 
					
						
							|  |  |  |       put_char('\n', F, S); | 
					
						
							|  |  |  |       put_space(indent, F, S); | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |     } | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  |     if (colour) put_str(colour, F, S); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |     put_char(']', F, S); | 
					
						
							| 
									
										
										
										
											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) { | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |       put_str("{}", F, S); | 
					
						
							| 
									
										
										
										
											2012-09-11 15:51:12 +01:00
										 |  |  |       break; | 
					
						
							|  |  |  |     } | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |     put_char('{', F, S); | 
					
						
							|  |  |  |     if (flags & JV_PRINT_PRETTY) { | 
					
						
							|  |  |  |       put_char('\n', F, S); | 
					
						
							|  |  |  |       put_space(indent+INDENT, F, S); | 
					
						
							|  |  |  |     } | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |     int first = 1; | 
					
						
							| 
									
										
										
										
											2012-12-31 23:27:00 +00:00
										 |  |  |     jv_object_foreach(x, key, value) { | 
					
						
							| 
									
										
										
										
											2012-09-11 15:51:12 +01:00
										 |  |  |       if (!first) { | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |         if (flags & JV_PRINT_PRETTY){ | 
					
						
							|  |  |  |           put_str(",\n", F, S); | 
					
						
							|  |  |  |           put_space(indent+INDENT, F, S); | 
					
						
							|  |  |  |         } else { | 
					
						
							| 
									
										
										
										
											2012-12-02 23:24:07 +00:00
										 |  |  |           put_str(",", F, S); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |         } | 
					
						
							| 
									
										
										
										
											2012-09-11 15:51:12 +01:00
										 |  |  |       } | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  |       if (colour) put_str(COLRESET, F, S); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |       first = 0; | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  |       if (colour) put_str(FIELD_COLOUR, F, S); | 
					
						
							|  |  |  |       jvp_dump_string(key, flags & JV_PRINT_ASCII, F, S); | 
					
						
							|  |  |  |       jv_free(key); | 
					
						
							|  |  |  |       if (colour) put_str(COLRESET, F, S); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |       if (colour) put_str(colour, F, S); | 
					
						
							|  |  |  |       put_str((flags & JV_PRINT_PRETTY) ? ": " : ":", F, S); | 
					
						
							|  |  |  |       if (colour) put_str(COLRESET, F, S); | 
					
						
							|  |  |  |        | 
					
						
							| 
									
										
										
										
											2012-12-31 23:27:00 +00:00
										 |  |  |       jv_dump_term(C, value, flags, indent + INDENT, F, S); | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  |       if (colour) put_str(colour, F, S); | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |     } | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |     if (flags & JV_PRINT_PRETTY) { | 
					
						
							|  |  |  |       put_char('\n', F, S); | 
					
						
							|  |  |  |       put_space(indent, F, S); | 
					
						
							|  |  |  |     } | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  |     if (colour) put_str(colour, F, S); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |     put_char('}', F, S); | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  |   } | 
					
						
							|  |  |  |   } | 
					
						
							|  |  |  |   jv_free(x); | 
					
						
							| 
									
										
										
										
											2012-12-03 01:21:07 +00:00
										 |  |  |   if (colour) { | 
					
						
							|  |  |  |     put_str(COLRESET, F, S); | 
					
						
							|  |  |  |   } | 
					
						
							| 
									
										
										
										
											2012-08-28 18:09:43 +01:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-09-11 15:51:12 +01:00
										 |  |  | void jv_dump(jv x, int flags) { | 
					
						
							| 
									
										
										
										
											2012-09-01 19:16:43 +01:00
										 |  |  |   struct dtoa_context C; | 
					
						
							|  |  |  |   jvp_dtoa_context_init(&C); | 
					
						
							| 
									
										
										
										
											2012-09-17 20:08:55 +01:00
										 |  |  |   jv_dump_term(&C, x, flags, 0, stdout, 0); | 
					
						
							|  |  |  |   jvp_dtoa_context_free(&C); | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 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
										 |  |  | } |