123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949 |
- /* 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
- #ifdef __cplusplus
- const struct _json_value json_value_none; /* zero-d by ctor */
- #else
- const struct _json_value json_value_none = { 0 };
- #endif
- #include <stdio.h>
- #include <string.h>
- #include <ctype.h>
- #include <math.h>
- typedef unsigned short 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;
- } 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.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:
- values_size = sizeof (*value->u.object.values) * value->u.object.length;
- if (! ((*(void **) &value->u.object.values) = 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;
- }
- value = (json_value *) json_alloc (state, sizeof (json_value), 1);
- if (!value)
- return 0;
- if (!*root)
- *root = value;
- value->type = type;
- value->parent = *top;
- if (*alloc)
- (*alloc)->_reserved.next_alloc = value;
- *alloc = *top = value;
- return 1;
- }
- #define e_off \
- ((int) (i - cur_line_begin))
- #define whitespace \
- case '\n': ++ cur_line; cur_line_begin = i; \
- case ' ': case '\t': case '\r'
- #define string_add(b) \
- do { if (!state.first_pass) string [string_length] = b; ++ string_length; } while (0);
- 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];
- unsigned int cur_line;
- const json_char * cur_line_begin, * i, * 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;
- cur_line = 1;
- cur_line_begin = json;
- for (i = json ;; ++ i)
- {
- json_char b = (i == end ? 0 : *i);
-
- if (flags & flag_string)
- {
- if (!b)
- { sprintf (error, "Unexpected EOF in string (at %d:%d)", cur_line, e_off);
- 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 - i < 4 ||
- (uc_b1 = hex_value (*++ i)) == 0xFF || (uc_b2 = hex_value (*++ i)) == 0xFF
- || (uc_b3 = hex_value (*++ i)) == 0xFF || (uc_b4 = hex_value (*++ i)) == 0xFF)
- {
- sprintf (error, "Invalid character value `%c` (at %d:%d)", b, cur_line, e_off);
- goto e_failed;
- }
- uc_b1 = uc_b1 * 16 + uc_b2;
- uc_b2 = uc_b3 * 16 + uc_b4;
- uchar = ((json_char) uc_b1) * 256 + uc_b2;
- if (sizeof (json_char) >= sizeof (json_uchar) || (uc_b1 == 0 && uc_b2 <= 0x7F))
- {
- string_add ((json_char) uchar);
- break;
- }
- if (uchar <= 0x7FF)
- {
- if (state.first_pass)
- string_length += 2;
- else
- { string [string_length ++] = 0xC0 | ((uc_b2 & 0xC0) >> 6) | ((uc_b1 & 0x7) << 2);
- string [string_length ++] = 0x80 | (uc_b2 & 0x3F);
- }
- break;
- }
- if (state.first_pass)
- string_length += 3;
- else
- { string [string_length ++] = 0xE0 | ((uc_b1 & 0xF0) >> 4);
- string [string_length ++] = 0x80 | ((uc_b1 & 0xF) << 2) | ((uc_b2 & 0xC0) >> 6);
- string [string_length ++] = 0x80 | (uc_b2 & 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;
- -- i; /* so null can be reproc'd */
- }
- continue;
- }
- if (flags & flag_block_comment)
- {
- if (!b)
- { sprintf (error, "%d:%d: Unexpected EOF in block comment", cur_line, e_off);
- goto e_failed;
- }
- if (b == '*' && i < (end - 1) && i [1] == '/')
- {
- flags &= ~ flag_block_comment;
- ++ i; /* 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", cur_line, e_off);
- goto e_failed;
- }
- if (++ i == end)
- { sprintf (error, "%d:%d: EOF unexpected", cur_line, e_off);
- goto e_failed;
- }
- switch (b = *i)
- {
- case '/':
- flags |= flag_line_comment;
- continue;
- case '*':
- flags |= flag_block_comment;
- continue;
- default:
- sprintf (error, "%d:%d: Unexpected `%c` in comment opening sequence", cur_line, e_off, b);
- goto e_failed;
- };
- }
- }
- if (flags & flag_done)
- {
- if (!b)
- break;
- switch (b)
- {
- whitespace:
- continue;
- default:
- sprintf (error, "%d:%d: Trailing garbage: `%c`", cur_line, e_off, b);
- goto e_failed;
- };
- }
- if (flags & flag_seek_value)
- {
- switch (b)
- {
- whitespace:
- continue;
- case ']':
- if (top->type == json_array)
- flags = (flags & ~ (flag_need_comma | flag_seek_value)) | flag_next;
- else
- { sprintf (error, "%d:%d: Unexpected ]", cur_line, e_off);
- 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", cur_line, e_off, b);
- goto e_failed;
- }
- }
- if (flags & flag_need_colon)
- {
- if (b == ':')
- { flags &= ~ flag_need_colon;
- continue;
- }
- else
- { sprintf (error, "%d:%d: Expected : before %c", cur_line, e_off, 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 - i) < 3 || *(++ i) != 'r' || *(++ i) != 'u' || *(++ i) != '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 - i) < 4 || *(++ i) != 'a' || *(++ i) != 'l' || *(++ i) != 's' || *(++ i) != '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 - i) < 3 || *(++ i) != 'u' || *(++ i) != 'l' || *(++ i) != '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 ( (++ i) == end)
- {
- b = 0;
- break;
- }
- b = *i;
- }
- 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", cur_line, e_off, 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 \"", cur_line, e_off);
- 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", cur_line, e_off, 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`", cur_line, e_off, 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 `.`", cur_line, e_off);
- 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 `.`", cur_line, e_off);
- goto e_failed;
- }
- top->u.dbl += ((double) num_fraction) / (pow (10, (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`", cur_line, e_off);
- goto e_failed;
- }
- top->u.dbl *= pow (10, (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;
- -- i;
- }
- 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", cur_line, e_off);
- goto e_failed;
- e_alloc_failure:
- strcpy (error, "Memory allocation failure");
- goto e_failed;
- e_overflow:
- sprintf (error, "%d:%d: Too long (caught overflow)", cur_line, e_off);
- 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);
- }
|