You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
1012 lines
29 KiB
1012 lines
29 KiB
/* 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 |
|
#pragma warning(disable:4996) |
|
#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); |
|
} |
|
|
|
|