|
|
@@ -0,0 +1,1011 @@
|
|
|
+/* vim: set et ts=3 sw=3 sts=3 ft=c:
|
|
|
+ *
|
|
|
+ * Copyright (C) 2012, 2013, 2014 James McLaughlin et al. All rights reserved.
|
|
|
+ * https://github.com/udp/json-parser
|
|
|
+ *
|
|
|
+ * Redistribution and use in source and binary forms, with or without
|
|
|
+ * modification, are permitted provided that the following conditions
|
|
|
+ * are met:
|
|
|
+ *
|
|
|
+ * 1. Redistributions of source code must retain the above copyright
|
|
|
+ * notice, this list of conditions and the following disclaimer.
|
|
|
+ *
|
|
|
+ * 2. Redistributions in binary form must reproduce the above copyright
|
|
|
+ * notice, this list of conditions and the following disclaimer in the
|
|
|
+ * documentation and/or other materials provided with the distribution.
|
|
|
+ *
|
|
|
+ * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
|
|
|
+ * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
|
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
|
+ * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
|
|
|
+ * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
|
+ * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
|
|
+ * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
|
+ * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
|
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
|
|
+ * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
|
+ * SUCH DAMAGE.
|
|
|
+ */
|
|
|
+
|
|
|
+#include "json.h"
|
|
|
+
|
|
|
+#ifdef _MSC_VER
|
|
|
+ #ifndef _CRT_SECURE_NO_WARNINGS
|
|
|
+ #define _CRT_SECURE_NO_WARNINGS
|
|
|
+ #endif
|
|
|
+#endif
|
|
|
+
|
|
|
+const struct _json_value json_value_none;
|
|
|
+
|
|
|
+#include <stdio.h>
|
|
|
+#include <string.h>
|
|
|
+#include <ctype.h>
|
|
|
+#include <math.h>
|
|
|
+
|
|
|
+typedef unsigned int json_uchar;
|
|
|
+
|
|
|
+static unsigned char hex_value (json_char c)
|
|
|
+{
|
|
|
+ if (isdigit(c))
|
|
|
+ return c - '0';
|
|
|
+
|
|
|
+ switch (c) {
|
|
|
+ case 'a': case 'A': return 0x0A;
|
|
|
+ case 'b': case 'B': return 0x0B;
|
|
|
+ case 'c': case 'C': return 0x0C;
|
|
|
+ case 'd': case 'D': return 0x0D;
|
|
|
+ case 'e': case 'E': return 0x0E;
|
|
|
+ case 'f': case 'F': return 0x0F;
|
|
|
+ default: return 0xFF;
|
|
|
+ }
|
|
|
+}
|
|
|
+
|
|
|
+typedef struct
|
|
|
+{
|
|
|
+ unsigned long used_memory;
|
|
|
+
|
|
|
+ unsigned int uint_max;
|
|
|
+ unsigned long ulong_max;
|
|
|
+
|
|
|
+ json_settings settings;
|
|
|
+ int first_pass;
|
|
|
+
|
|
|
+ const json_char * ptr;
|
|
|
+ unsigned int cur_line, cur_col;
|
|
|
+
|
|
|
+} json_state;
|
|
|
+
|
|
|
+static void * default_alloc (size_t size, int zero, void * user_data)
|
|
|
+{
|
|
|
+ return zero ? calloc (1, size) : malloc (size);
|
|
|
+}
|
|
|
+
|
|
|
+static void default_free (void * ptr, void * user_data)
|
|
|
+{
|
|
|
+ free (ptr);
|
|
|
+}
|
|
|
+
|
|
|
+static void * json_alloc (json_state * state, unsigned long size, int zero)
|
|
|
+{
|
|
|
+ if ((state->ulong_max - state->used_memory) < size)
|
|
|
+ return 0;
|
|
|
+
|
|
|
+ if (state->settings.max_memory
|
|
|
+ && (state->used_memory += size) > state->settings.max_memory)
|
|
|
+ {
|
|
|
+ return 0;
|
|
|
+ }
|
|
|
+
|
|
|
+ return state->settings.mem_alloc (size, zero, state->settings.user_data);
|
|
|
+}
|
|
|
+
|
|
|
+static int new_value (json_state * state,
|
|
|
+ json_value ** top, json_value ** root, json_value ** alloc,
|
|
|
+ json_type type)
|
|
|
+{
|
|
|
+ json_value * value;
|
|
|
+ int values_size;
|
|
|
+
|
|
|
+ if (!state->first_pass)
|
|
|
+ {
|
|
|
+ value = *top = *alloc;
|
|
|
+ *alloc = (*alloc)->_reserved.next_alloc;
|
|
|
+
|
|
|
+ if (!*root)
|
|
|
+ *root = value;
|
|
|
+
|
|
|
+ switch (value->type)
|
|
|
+ {
|
|
|
+ case json_array:
|
|
|
+
|
|
|
+ if (value->u.array.length == 0)
|
|
|
+ break;
|
|
|
+
|
|
|
+ if (! (value->u.array.values = (json_value **) json_alloc
|
|
|
+ (state, value->u.array.length * sizeof (json_value *), 0)) )
|
|
|
+ {
|
|
|
+ return 0;
|
|
|
+ }
|
|
|
+
|
|
|
+ value->u.array.length = 0;
|
|
|
+ break;
|
|
|
+
|
|
|
+ case json_object:
|
|
|
+
|
|
|
+ if (value->u.object.length == 0)
|
|
|
+ break;
|
|
|
+
|
|
|
+ values_size = sizeof (*value->u.object.values) * value->u.object.length;
|
|
|
+
|
|
|
+ if (! (value->u.object.values = (json_object_entry *) json_alloc
|
|
|
+ (state, values_size + ((unsigned long) value->u.object.values), 0)) )
|
|
|
+ {
|
|
|
+ return 0;
|
|
|
+ }
|
|
|
+
|
|
|
+ value->_reserved.object_mem = (*(char **) &value->u.object.values) + values_size;
|
|
|
+
|
|
|
+ value->u.object.length = 0;
|
|
|
+ break;
|
|
|
+
|
|
|
+ case json_string:
|
|
|
+
|
|
|
+ if (! (value->u.string.ptr = (json_char *) json_alloc
|
|
|
+ (state, (value->u.string.length + 1) * sizeof (json_char), 0)) )
|
|
|
+ {
|
|
|
+ return 0;
|
|
|
+ }
|
|
|
+
|
|
|
+ value->u.string.length = 0;
|
|
|
+ break;
|
|
|
+
|
|
|
+ default:
|
|
|
+ break;
|
|
|
+ };
|
|
|
+
|
|
|
+ return 1;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (! (value = (json_value *) json_alloc
|
|
|
+ (state, sizeof (json_value) + state->settings.value_extra, 1)))
|
|
|
+ {
|
|
|
+ return 0;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (!*root)
|
|
|
+ *root = value;
|
|
|
+
|
|
|
+ value->type = type;
|
|
|
+ value->parent = *top;
|
|
|
+
|
|
|
+ #ifdef JSON_TRACK_SOURCE
|
|
|
+ value->line = state->cur_line;
|
|
|
+ value->col = state->cur_col;
|
|
|
+ #endif
|
|
|
+
|
|
|
+ if (*alloc)
|
|
|
+ (*alloc)->_reserved.next_alloc = value;
|
|
|
+
|
|
|
+ *alloc = *top = value;
|
|
|
+
|
|
|
+ return 1;
|
|
|
+}
|
|
|
+
|
|
|
+#define whitespace \
|
|
|
+ case '\n': ++ state.cur_line; state.cur_col = 0; \
|
|
|
+ case ' ': case '\t': case '\r'
|
|
|
+
|
|
|
+#define string_add(b) \
|
|
|
+ do { if (!state.first_pass) string [string_length] = b; ++ string_length; } while (0);
|
|
|
+
|
|
|
+#define line_and_col \
|
|
|
+ state.cur_line, state.cur_col
|
|
|
+
|
|
|
+static const long
|
|
|
+ flag_next = 1 << 0,
|
|
|
+ flag_reproc = 1 << 1,
|
|
|
+ flag_need_comma = 1 << 2,
|
|
|
+ flag_seek_value = 1 << 3,
|
|
|
+ flag_escaped = 1 << 4,
|
|
|
+ flag_string = 1 << 5,
|
|
|
+ flag_need_colon = 1 << 6,
|
|
|
+ flag_done = 1 << 7,
|
|
|
+ flag_num_negative = 1 << 8,
|
|
|
+ flag_num_zero = 1 << 9,
|
|
|
+ flag_num_e = 1 << 10,
|
|
|
+ flag_num_e_got_sign = 1 << 11,
|
|
|
+ flag_num_e_negative = 1 << 12,
|
|
|
+ flag_line_comment = 1 << 13,
|
|
|
+ flag_block_comment = 1 << 14;
|
|
|
+
|
|
|
+json_value * json_parse_ex (json_settings * settings,
|
|
|
+ const json_char * json,
|
|
|
+ size_t length,
|
|
|
+ char * error_buf)
|
|
|
+{
|
|
|
+ json_char error [json_error_max];
|
|
|
+ const json_char * end;
|
|
|
+ json_value * top, * root, * alloc = 0;
|
|
|
+ json_state state = { 0 };
|
|
|
+ long flags;
|
|
|
+ long num_digits = 0, num_e = 0;
|
|
|
+ json_int_t num_fraction = 0;
|
|
|
+
|
|
|
+ /* Skip UTF-8 BOM
|
|
|
+ */
|
|
|
+ if (length >= 3 && ((unsigned char) json [0]) == 0xEF
|
|
|
+ && ((unsigned char) json [1]) == 0xBB
|
|
|
+ && ((unsigned char) json [2]) == 0xBF)
|
|
|
+ {
|
|
|
+ json += 3;
|
|
|
+ length -= 3;
|
|
|
+ }
|
|
|
+
|
|
|
+ error[0] = '\0';
|
|
|
+ end = (json + length);
|
|
|
+
|
|
|
+ memcpy (&state.settings, settings, sizeof (json_settings));
|
|
|
+
|
|
|
+ if (!state.settings.mem_alloc)
|
|
|
+ state.settings.mem_alloc = default_alloc;
|
|
|
+
|
|
|
+ if (!state.settings.mem_free)
|
|
|
+ state.settings.mem_free = default_free;
|
|
|
+
|
|
|
+ memset (&state.uint_max, 0xFF, sizeof (state.uint_max));
|
|
|
+ memset (&state.ulong_max, 0xFF, sizeof (state.ulong_max));
|
|
|
+
|
|
|
+ state.uint_max -= 8; /* limit of how much can be added before next check */
|
|
|
+ state.ulong_max -= 8;
|
|
|
+
|
|
|
+ for (state.first_pass = 1; state.first_pass >= 0; -- state.first_pass)
|
|
|
+ {
|
|
|
+ json_uchar uchar;
|
|
|
+ unsigned char uc_b1, uc_b2, uc_b3, uc_b4;
|
|
|
+ json_char * string = 0;
|
|
|
+ unsigned int string_length = 0;
|
|
|
+
|
|
|
+ top = root = 0;
|
|
|
+ flags = flag_seek_value;
|
|
|
+
|
|
|
+ state.cur_line = 1;
|
|
|
+
|
|
|
+ for (state.ptr = json ;; ++ state.ptr)
|
|
|
+ {
|
|
|
+ json_char b = (state.ptr == end ? 0 : *state.ptr);
|
|
|
+
|
|
|
+ if (flags & flag_string)
|
|
|
+ {
|
|
|
+ if (!b)
|
|
|
+ { sprintf (error, "Unexpected EOF in string (at %d:%d)", line_and_col);
|
|
|
+ goto e_failed;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (string_length > state.uint_max)
|
|
|
+ goto e_overflow;
|
|
|
+
|
|
|
+ if (flags & flag_escaped)
|
|
|
+ {
|
|
|
+ flags &= ~ flag_escaped;
|
|
|
+
|
|
|
+ switch (b)
|
|
|
+ {
|
|
|
+ case 'b': string_add ('\b'); break;
|
|
|
+ case 'f': string_add ('\f'); break;
|
|
|
+ case 'n': string_add ('\n'); break;
|
|
|
+ case 'r': string_add ('\r'); break;
|
|
|
+ case 't': string_add ('\t'); break;
|
|
|
+ case 'u':
|
|
|
+
|
|
|
+ if (end - state.ptr < 4 ||
|
|
|
+ (uc_b1 = hex_value (*++ state.ptr)) == 0xFF ||
|
|
|
+ (uc_b2 = hex_value (*++ state.ptr)) == 0xFF ||
|
|
|
+ (uc_b3 = hex_value (*++ state.ptr)) == 0xFF ||
|
|
|
+ (uc_b4 = hex_value (*++ state.ptr)) == 0xFF)
|
|
|
+ {
|
|
|
+ sprintf (error, "Invalid character value `%c` (at %d:%d)", b, line_and_col);
|
|
|
+ goto e_failed;
|
|
|
+ }
|
|
|
+
|
|
|
+ uc_b1 = (uc_b1 << 4) | uc_b2;
|
|
|
+ uc_b2 = (uc_b3 << 4) | uc_b4;
|
|
|
+ uchar = (uc_b1 << 8) | uc_b2;
|
|
|
+
|
|
|
+ if ((uchar & 0xF800) == 0xD800) {
|
|
|
+ json_uchar uchar2;
|
|
|
+
|
|
|
+ if (end - state.ptr < 6 || (*++ state.ptr) != '\\' || (*++ state.ptr) != 'u' ||
|
|
|
+ (uc_b1 = hex_value (*++ state.ptr)) == 0xFF ||
|
|
|
+ (uc_b2 = hex_value (*++ state.ptr)) == 0xFF ||
|
|
|
+ (uc_b3 = hex_value (*++ state.ptr)) == 0xFF ||
|
|
|
+ (uc_b4 = hex_value (*++ state.ptr)) == 0xFF)
|
|
|
+ {
|
|
|
+ sprintf (error, "Invalid character value `%c` (at %d:%d)", b, line_and_col);
|
|
|
+ goto e_failed;
|
|
|
+ }
|
|
|
+
|
|
|
+ uc_b1 = (uc_b1 << 4) | uc_b2;
|
|
|
+ uc_b2 = (uc_b3 << 4) | uc_b4;
|
|
|
+ uchar2 = (uc_b1 << 8) | uc_b2;
|
|
|
+
|
|
|
+ uchar = 0x010000 | ((uchar & 0x3FF) << 10) | (uchar2 & 0x3FF);
|
|
|
+ }
|
|
|
+
|
|
|
+ if (sizeof (json_char) >= sizeof (json_uchar) || (uchar <= 0x7F))
|
|
|
+ {
|
|
|
+ string_add ((json_char) uchar);
|
|
|
+ break;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (uchar <= 0x7FF)
|
|
|
+ {
|
|
|
+ if (state.first_pass)
|
|
|
+ string_length += 2;
|
|
|
+ else
|
|
|
+ { string [string_length ++] = 0xC0 | (uchar >> 6);
|
|
|
+ string [string_length ++] = 0x80 | (uchar & 0x3F);
|
|
|
+ }
|
|
|
+
|
|
|
+ break;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (uchar <= 0xFFFF) {
|
|
|
+ if (state.first_pass)
|
|
|
+ string_length += 3;
|
|
|
+ else
|
|
|
+ { string [string_length ++] = 0xE0 | (uchar >> 12);
|
|
|
+ string [string_length ++] = 0x80 | ((uchar >> 6) & 0x3F);
|
|
|
+ string [string_length ++] = 0x80 | (uchar & 0x3F);
|
|
|
+ }
|
|
|
+
|
|
|
+ break;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (state.first_pass)
|
|
|
+ string_length += 4;
|
|
|
+ else
|
|
|
+ { string [string_length ++] = 0xF0 | (uchar >> 18);
|
|
|
+ string [string_length ++] = 0x80 | ((uchar >> 12) & 0x3F);
|
|
|
+ string [string_length ++] = 0x80 | ((uchar >> 6) & 0x3F);
|
|
|
+ string [string_length ++] = 0x80 | (uchar & 0x3F);
|
|
|
+ }
|
|
|
+
|
|
|
+ break;
|
|
|
+
|
|
|
+ default:
|
|
|
+ string_add (b);
|
|
|
+ };
|
|
|
+
|
|
|
+ continue;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (b == '\\')
|
|
|
+ {
|
|
|
+ flags |= flag_escaped;
|
|
|
+ continue;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (b == '"')
|
|
|
+ {
|
|
|
+ if (!state.first_pass)
|
|
|
+ string [string_length] = 0;
|
|
|
+
|
|
|
+ flags &= ~ flag_string;
|
|
|
+ string = 0;
|
|
|
+
|
|
|
+ switch (top->type)
|
|
|
+ {
|
|
|
+ case json_string:
|
|
|
+
|
|
|
+ top->u.string.length = string_length;
|
|
|
+ flags |= flag_next;
|
|
|
+
|
|
|
+ break;
|
|
|
+
|
|
|
+ case json_object:
|
|
|
+
|
|
|
+ if (state.first_pass)
|
|
|
+ (*(json_char **) &top->u.object.values) += string_length + 1;
|
|
|
+ else
|
|
|
+ {
|
|
|
+ top->u.object.values [top->u.object.length].name
|
|
|
+ = (json_char *) top->_reserved.object_mem;
|
|
|
+
|
|
|
+ top->u.object.values [top->u.object.length].name_length
|
|
|
+ = string_length;
|
|
|
+
|
|
|
+ (*(json_char **) &top->_reserved.object_mem) += string_length + 1;
|
|
|
+ }
|
|
|
+
|
|
|
+ flags |= flag_seek_value | flag_need_colon;
|
|
|
+ continue;
|
|
|
+
|
|
|
+ default:
|
|
|
+ break;
|
|
|
+ };
|
|
|
+ }
|
|
|
+ else
|
|
|
+ {
|
|
|
+ string_add (b);
|
|
|
+ continue;
|
|
|
+ }
|
|
|
+ }
|
|
|
+
|
|
|
+ if (state.settings.settings & json_enable_comments)
|
|
|
+ {
|
|
|
+ if (flags & (flag_line_comment | flag_block_comment))
|
|
|
+ {
|
|
|
+ if (flags & flag_line_comment)
|
|
|
+ {
|
|
|
+ if (b == '\r' || b == '\n' || !b)
|
|
|
+ {
|
|
|
+ flags &= ~ flag_line_comment;
|
|
|
+ -- state.ptr; /* so null can be reproc'd */
|
|
|
+ }
|
|
|
+
|
|
|
+ continue;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (flags & flag_block_comment)
|
|
|
+ {
|
|
|
+ if (!b)
|
|
|
+ { sprintf (error, "%d:%d: Unexpected EOF in block comment", line_and_col);
|
|
|
+ goto e_failed;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (b == '*' && state.ptr < (end - 1) && state.ptr [1] == '/')
|
|
|
+ {
|
|
|
+ flags &= ~ flag_block_comment;
|
|
|
+ ++ state.ptr; /* skip closing sequence */
|
|
|
+ }
|
|
|
+
|
|
|
+ continue;
|
|
|
+ }
|
|
|
+ }
|
|
|
+ else if (b == '/')
|
|
|
+ {
|
|
|
+ if (! (flags & (flag_seek_value | flag_done)) && top->type != json_object)
|
|
|
+ { sprintf (error, "%d:%d: Comment not allowed here", line_and_col);
|
|
|
+ goto e_failed;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (++ state.ptr == end)
|
|
|
+ { sprintf (error, "%d:%d: EOF unexpected", line_and_col);
|
|
|
+ goto e_failed;
|
|
|
+ }
|
|
|
+
|
|
|
+ switch (b = *state.ptr)
|
|
|
+ {
|
|
|
+ case '/':
|
|
|
+ flags |= flag_line_comment;
|
|
|
+ continue;
|
|
|
+
|
|
|
+ case '*':
|
|
|
+ flags |= flag_block_comment;
|
|
|
+ continue;
|
|
|
+
|
|
|
+ default:
|
|
|
+ sprintf (error, "%d:%d: Unexpected `%c` in comment opening sequence", line_and_col, b);
|
|
|
+ goto e_failed;
|
|
|
+ };
|
|
|
+ }
|
|
|
+ }
|
|
|
+
|
|
|
+ if (flags & flag_done)
|
|
|
+ {
|
|
|
+ if (!b)
|
|
|
+ break;
|
|
|
+
|
|
|
+ switch (b)
|
|
|
+ {
|
|
|
+ whitespace:
|
|
|
+ continue;
|
|
|
+
|
|
|
+ default:
|
|
|
+
|
|
|
+ sprintf (error, "%d:%d: Trailing garbage: `%c`",
|
|
|
+ state.cur_line, state.cur_col, b);
|
|
|
+
|
|
|
+ goto e_failed;
|
|
|
+ };
|
|
|
+ }
|
|
|
+
|
|
|
+ if (flags & flag_seek_value)
|
|
|
+ {
|
|
|
+ switch (b)
|
|
|
+ {
|
|
|
+ whitespace:
|
|
|
+ continue;
|
|
|
+
|
|
|
+ case ']':
|
|
|
+
|
|
|
+ if (top && top->type == json_array)
|
|
|
+ flags = (flags & ~ (flag_need_comma | flag_seek_value)) | flag_next;
|
|
|
+ else
|
|
|
+ { sprintf (error, "%d:%d: Unexpected ]", line_and_col);
|
|
|
+ goto e_failed;
|
|
|
+ }
|
|
|
+
|
|
|
+ break;
|
|
|
+
|
|
|
+ default:
|
|
|
+
|
|
|
+ if (flags & flag_need_comma)
|
|
|
+ {
|
|
|
+ if (b == ',')
|
|
|
+ { flags &= ~ flag_need_comma;
|
|
|
+ continue;
|
|
|
+ }
|
|
|
+ else
|
|
|
+ {
|
|
|
+ sprintf (error, "%d:%d: Expected , before %c",
|
|
|
+ state.cur_line, state.cur_col, b);
|
|
|
+
|
|
|
+ goto e_failed;
|
|
|
+ }
|
|
|
+ }
|
|
|
+
|
|
|
+ if (flags & flag_need_colon)
|
|
|
+ {
|
|
|
+ if (b == ':')
|
|
|
+ { flags &= ~ flag_need_colon;
|
|
|
+ continue;
|
|
|
+ }
|
|
|
+ else
|
|
|
+ {
|
|
|
+ sprintf (error, "%d:%d: Expected : before %c",
|
|
|
+ state.cur_line, state.cur_col, b);
|
|
|
+
|
|
|
+ goto e_failed;
|
|
|
+ }
|
|
|
+ }
|
|
|
+
|
|
|
+ flags &= ~ flag_seek_value;
|
|
|
+
|
|
|
+ switch (b)
|
|
|
+ {
|
|
|
+ case '{':
|
|
|
+
|
|
|
+ if (!new_value (&state, &top, &root, &alloc, json_object))
|
|
|
+ goto e_alloc_failure;
|
|
|
+
|
|
|
+ continue;
|
|
|
+
|
|
|
+ case '[':
|
|
|
+
|
|
|
+ if (!new_value (&state, &top, &root, &alloc, json_array))
|
|
|
+ goto e_alloc_failure;
|
|
|
+
|
|
|
+ flags |= flag_seek_value;
|
|
|
+ continue;
|
|
|
+
|
|
|
+ case '"':
|
|
|
+
|
|
|
+ if (!new_value (&state, &top, &root, &alloc, json_string))
|
|
|
+ goto e_alloc_failure;
|
|
|
+
|
|
|
+ flags |= flag_string;
|
|
|
+
|
|
|
+ string = top->u.string.ptr;
|
|
|
+ string_length = 0;
|
|
|
+
|
|
|
+ continue;
|
|
|
+
|
|
|
+ case 't':
|
|
|
+
|
|
|
+ if ((end - state.ptr) < 3 || *(++ state.ptr) != 'r' ||
|
|
|
+ *(++ state.ptr) != 'u' || *(++ state.ptr) != 'e')
|
|
|
+ {
|
|
|
+ goto e_unknown_value;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (!new_value (&state, &top, &root, &alloc, json_boolean))
|
|
|
+ goto e_alloc_failure;
|
|
|
+
|
|
|
+ top->u.boolean = 1;
|
|
|
+
|
|
|
+ flags |= flag_next;
|
|
|
+ break;
|
|
|
+
|
|
|
+ case 'f':
|
|
|
+
|
|
|
+ if ((end - state.ptr) < 4 || *(++ state.ptr) != 'a' ||
|
|
|
+ *(++ state.ptr) != 'l' || *(++ state.ptr) != 's' ||
|
|
|
+ *(++ state.ptr) != 'e')
|
|
|
+ {
|
|
|
+ goto e_unknown_value;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (!new_value (&state, &top, &root, &alloc, json_boolean))
|
|
|
+ goto e_alloc_failure;
|
|
|
+
|
|
|
+ flags |= flag_next;
|
|
|
+ break;
|
|
|
+
|
|
|
+ case 'n':
|
|
|
+
|
|
|
+ if ((end - state.ptr) < 3 || *(++ state.ptr) != 'u' ||
|
|
|
+ *(++ state.ptr) != 'l' || *(++ state.ptr) != 'l')
|
|
|
+ {
|
|
|
+ goto e_unknown_value;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (!new_value (&state, &top, &root, &alloc, json_null))
|
|
|
+ goto e_alloc_failure;
|
|
|
+
|
|
|
+ flags |= flag_next;
|
|
|
+ break;
|
|
|
+
|
|
|
+ default:
|
|
|
+
|
|
|
+ if (isdigit (b) || b == '-')
|
|
|
+ {
|
|
|
+ if (!new_value (&state, &top, &root, &alloc, json_integer))
|
|
|
+ goto e_alloc_failure;
|
|
|
+
|
|
|
+ if (!state.first_pass)
|
|
|
+ {
|
|
|
+ while (isdigit (b) || b == '+' || b == '-'
|
|
|
+ || b == 'e' || b == 'E' || b == '.')
|
|
|
+ {
|
|
|
+ if ( (++ state.ptr) == end)
|
|
|
+ {
|
|
|
+ b = 0;
|
|
|
+ break;
|
|
|
+ }
|
|
|
+
|
|
|
+ b = *state.ptr;
|
|
|
+ }
|
|
|
+
|
|
|
+ flags |= flag_next | flag_reproc;
|
|
|
+ break;
|
|
|
+ }
|
|
|
+
|
|
|
+ flags &= ~ (flag_num_negative | flag_num_e |
|
|
|
+ flag_num_e_got_sign | flag_num_e_negative |
|
|
|
+ flag_num_zero);
|
|
|
+
|
|
|
+ num_digits = 0;
|
|
|
+ num_fraction = 0;
|
|
|
+ num_e = 0;
|
|
|
+
|
|
|
+ if (b != '-')
|
|
|
+ {
|
|
|
+ flags |= flag_reproc;
|
|
|
+ break;
|
|
|
+ }
|
|
|
+
|
|
|
+ flags |= flag_num_negative;
|
|
|
+ continue;
|
|
|
+ }
|
|
|
+ else
|
|
|
+ { sprintf (error, "%d:%d: Unexpected %c when seeking value", line_and_col, b);
|
|
|
+ goto e_failed;
|
|
|
+ }
|
|
|
+ };
|
|
|
+ };
|
|
|
+ }
|
|
|
+ else
|
|
|
+ {
|
|
|
+ switch (top->type)
|
|
|
+ {
|
|
|
+ case json_object:
|
|
|
+
|
|
|
+ switch (b)
|
|
|
+ {
|
|
|
+ whitespace:
|
|
|
+ continue;
|
|
|
+
|
|
|
+ case '"':
|
|
|
+
|
|
|
+ if (flags & flag_need_comma)
|
|
|
+ { sprintf (error, "%d:%d: Expected , before \"", line_and_col);
|
|
|
+ goto e_failed;
|
|
|
+ }
|
|
|
+
|
|
|
+ flags |= flag_string;
|
|
|
+
|
|
|
+ string = (json_char *) top->_reserved.object_mem;
|
|
|
+ string_length = 0;
|
|
|
+
|
|
|
+ break;
|
|
|
+
|
|
|
+ case '}':
|
|
|
+
|
|
|
+ flags = (flags & ~ flag_need_comma) | flag_next;
|
|
|
+ break;
|
|
|
+
|
|
|
+ case ',':
|
|
|
+
|
|
|
+ if (flags & flag_need_comma)
|
|
|
+ {
|
|
|
+ flags &= ~ flag_need_comma;
|
|
|
+ break;
|
|
|
+ }
|
|
|
+
|
|
|
+ default:
|
|
|
+ sprintf (error, "%d:%d: Unexpected `%c` in object", line_and_col, b);
|
|
|
+ goto e_failed;
|
|
|
+ };
|
|
|
+
|
|
|
+ break;
|
|
|
+
|
|
|
+ case json_integer:
|
|
|
+ case json_double:
|
|
|
+
|
|
|
+ if (isdigit (b))
|
|
|
+ {
|
|
|
+ ++ num_digits;
|
|
|
+
|
|
|
+ if (top->type == json_integer || flags & flag_num_e)
|
|
|
+ {
|
|
|
+ if (! (flags & flag_num_e))
|
|
|
+ {
|
|
|
+ if (flags & flag_num_zero)
|
|
|
+ { sprintf (error, "%d:%d: Unexpected `0` before `%c`", line_and_col, b);
|
|
|
+ goto e_failed;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (num_digits == 1 && b == '0')
|
|
|
+ flags |= flag_num_zero;
|
|
|
+ }
|
|
|
+ else
|
|
|
+ {
|
|
|
+ flags |= flag_num_e_got_sign;
|
|
|
+ num_e = (num_e * 10) + (b - '0');
|
|
|
+ continue;
|
|
|
+ }
|
|
|
+
|
|
|
+ top->u.integer = (top->u.integer * 10) + (b - '0');
|
|
|
+ continue;
|
|
|
+ }
|
|
|
+
|
|
|
+ num_fraction = (num_fraction * 10) + (b - '0');
|
|
|
+ continue;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (b == '+' || b == '-')
|
|
|
+ {
|
|
|
+ if ( (flags & flag_num_e) && !(flags & flag_num_e_got_sign))
|
|
|
+ {
|
|
|
+ flags |= flag_num_e_got_sign;
|
|
|
+
|
|
|
+ if (b == '-')
|
|
|
+ flags |= flag_num_e_negative;
|
|
|
+
|
|
|
+ continue;
|
|
|
+ }
|
|
|
+ }
|
|
|
+ else if (b == '.' && top->type == json_integer)
|
|
|
+ {
|
|
|
+ if (!num_digits)
|
|
|
+ { sprintf (error, "%d:%d: Expected digit before `.`", line_and_col);
|
|
|
+ goto e_failed;
|
|
|
+ }
|
|
|
+
|
|
|
+ top->type = json_double;
|
|
|
+ top->u.dbl = (double) top->u.integer;
|
|
|
+
|
|
|
+ num_digits = 0;
|
|
|
+ continue;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (! (flags & flag_num_e))
|
|
|
+ {
|
|
|
+ if (top->type == json_double)
|
|
|
+ {
|
|
|
+ if (!num_digits)
|
|
|
+ { sprintf (error, "%d:%d: Expected digit after `.`", line_and_col);
|
|
|
+ goto e_failed;
|
|
|
+ }
|
|
|
+
|
|
|
+ top->u.dbl += ((double) num_fraction) / (pow (10.0, (double) num_digits));
|
|
|
+ }
|
|
|
+
|
|
|
+ if (b == 'e' || b == 'E')
|
|
|
+ {
|
|
|
+ flags |= flag_num_e;
|
|
|
+
|
|
|
+ if (top->type == json_integer)
|
|
|
+ {
|
|
|
+ top->type = json_double;
|
|
|
+ top->u.dbl = (double) top->u.integer;
|
|
|
+ }
|
|
|
+
|
|
|
+ num_digits = 0;
|
|
|
+ flags &= ~ flag_num_zero;
|
|
|
+
|
|
|
+ continue;
|
|
|
+ }
|
|
|
+ }
|
|
|
+ else
|
|
|
+ {
|
|
|
+ if (!num_digits)
|
|
|
+ { sprintf (error, "%d:%d: Expected digit after `e`", line_and_col);
|
|
|
+ goto e_failed;
|
|
|
+ }
|
|
|
+
|
|
|
+ top->u.dbl *= pow (10.0, (double)
|
|
|
+ (flags & flag_num_e_negative ? - num_e : num_e));
|
|
|
+ }
|
|
|
+
|
|
|
+ if (flags & flag_num_negative)
|
|
|
+ {
|
|
|
+ if (top->type == json_integer)
|
|
|
+ top->u.integer = - top->u.integer;
|
|
|
+ else
|
|
|
+ top->u.dbl = - top->u.dbl;
|
|
|
+ }
|
|
|
+
|
|
|
+ flags |= flag_next | flag_reproc;
|
|
|
+ break;
|
|
|
+
|
|
|
+ default:
|
|
|
+ break;
|
|
|
+ };
|
|
|
+ }
|
|
|
+
|
|
|
+ if (flags & flag_reproc)
|
|
|
+ {
|
|
|
+ flags &= ~ flag_reproc;
|
|
|
+ -- state.ptr;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (flags & flag_next)
|
|
|
+ {
|
|
|
+ flags = (flags & ~ flag_next) | flag_need_comma;
|
|
|
+
|
|
|
+ if (!top->parent)
|
|
|
+ {
|
|
|
+ /* root value done */
|
|
|
+
|
|
|
+ flags |= flag_done;
|
|
|
+ continue;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (top->parent->type == json_array)
|
|
|
+ flags |= flag_seek_value;
|
|
|
+
|
|
|
+ if (!state.first_pass)
|
|
|
+ {
|
|
|
+ json_value * parent = top->parent;
|
|
|
+
|
|
|
+ switch (parent->type)
|
|
|
+ {
|
|
|
+ case json_object:
|
|
|
+
|
|
|
+ parent->u.object.values
|
|
|
+ [parent->u.object.length].value = top;
|
|
|
+
|
|
|
+ break;
|
|
|
+
|
|
|
+ case json_array:
|
|
|
+
|
|
|
+ parent->u.array.values
|
|
|
+ [parent->u.array.length] = top;
|
|
|
+
|
|
|
+ break;
|
|
|
+
|
|
|
+ default:
|
|
|
+ break;
|
|
|
+ };
|
|
|
+ }
|
|
|
+
|
|
|
+ if ( (++ top->parent->u.array.length) > state.uint_max)
|
|
|
+ goto e_overflow;
|
|
|
+
|
|
|
+ top = top->parent;
|
|
|
+
|
|
|
+ continue;
|
|
|
+ }
|
|
|
+ }
|
|
|
+
|
|
|
+ alloc = root;
|
|
|
+ }
|
|
|
+
|
|
|
+ return root;
|
|
|
+
|
|
|
+e_unknown_value:
|
|
|
+
|
|
|
+ sprintf (error, "%d:%d: Unknown value", line_and_col);
|
|
|
+ goto e_failed;
|
|
|
+
|
|
|
+e_alloc_failure:
|
|
|
+
|
|
|
+ strcpy (error, "Memory allocation failure");
|
|
|
+ goto e_failed;
|
|
|
+
|
|
|
+e_overflow:
|
|
|
+
|
|
|
+ sprintf (error, "%d:%d: Too long (caught overflow)", line_and_col);
|
|
|
+ goto e_failed;
|
|
|
+
|
|
|
+e_failed:
|
|
|
+
|
|
|
+ if (error_buf)
|
|
|
+ {
|
|
|
+ if (*error)
|
|
|
+ strcpy (error_buf, error);
|
|
|
+ else
|
|
|
+ strcpy (error_buf, "Unknown error");
|
|
|
+ }
|
|
|
+
|
|
|
+ if (state.first_pass)
|
|
|
+ alloc = root;
|
|
|
+
|
|
|
+ while (alloc)
|
|
|
+ {
|
|
|
+ top = alloc->_reserved.next_alloc;
|
|
|
+ state.settings.mem_free (alloc, state.settings.user_data);
|
|
|
+ alloc = top;
|
|
|
+ }
|
|
|
+
|
|
|
+ if (!state.first_pass)
|
|
|
+ json_value_free_ex (&state.settings, root);
|
|
|
+
|
|
|
+ return 0;
|
|
|
+}
|
|
|
+
|
|
|
+json_value * json_parse (const json_char * json, size_t length)
|
|
|
+{
|
|
|
+ json_settings settings = { 0 };
|
|
|
+ return json_parse_ex (&settings, json, length, 0);
|
|
|
+}
|
|
|
+
|
|
|
+void json_value_free_ex (json_settings * settings, json_value * value)
|
|
|
+{
|
|
|
+ json_value * cur_value;
|
|
|
+
|
|
|
+ if (!value)
|
|
|
+ return;
|
|
|
+
|
|
|
+ value->parent = 0;
|
|
|
+
|
|
|
+ while (value)
|
|
|
+ {
|
|
|
+ switch (value->type)
|
|
|
+ {
|
|
|
+ case json_array:
|
|
|
+
|
|
|
+ if (!value->u.array.length)
|
|
|
+ {
|
|
|
+ settings->mem_free (value->u.array.values, settings->user_data);
|
|
|
+ break;
|
|
|
+ }
|
|
|
+
|
|
|
+ value = value->u.array.values [-- value->u.array.length];
|
|
|
+ continue;
|
|
|
+
|
|
|
+ case json_object:
|
|
|
+
|
|
|
+ if (!value->u.object.length)
|
|
|
+ {
|
|
|
+ settings->mem_free (value->u.object.values, settings->user_data);
|
|
|
+ break;
|
|
|
+ }
|
|
|
+
|
|
|
+ value = value->u.object.values [-- value->u.object.length].value;
|
|
|
+ continue;
|
|
|
+
|
|
|
+ case json_string:
|
|
|
+
|
|
|
+ settings->mem_free (value->u.string.ptr, settings->user_data);
|
|
|
+ break;
|
|
|
+
|
|
|
+ default:
|
|
|
+ break;
|
|
|
+ };
|
|
|
+
|
|
|
+ cur_value = value;
|
|
|
+ value = value->parent;
|
|
|
+ settings->mem_free (cur_value, settings->user_data);
|
|
|
+ }
|
|
|
+}
|
|
|
+
|
|
|
+void json_value_free (json_value * value)
|
|
|
+{
|
|
|
+ json_settings settings = { 0 };
|
|
|
+ settings.mem_free = default_free;
|
|
|
+ json_value_free_ex (&settings, value);
|
|
|
+}
|
|
|
+
|
Adam Ierymenko