X-Git-Url: http://www.project-moonshot.org/gitweb/?a=blobdiff_plain;f=src%2Fload.c;h=262bd7d7855bf0b2b74d12fd777938c9db59f695;hb=6ecba848171f48d0b3806dbc1aa306be8e69bc82;hp=f576df1a6a4b32d15cd99329abba3da7462a1a71;hpb=625f50f9166592d165b8e4bd9681ba7938d4c072;p=jansson.git diff --git a/src/load.c b/src/load.c index f576df1..262bd7d 100644 --- a/src/load.c +++ b/src/load.c @@ -1,15 +1,27 @@ +/* + * Copyright (c) 2009-2011 Petri Lehtinen + * + * Jansson is free software; you can redistribute it and/or modify + * it under the terms of the MIT license. See LICENSE for details. + */ + #define _GNU_SOURCE #include #include +#include #include #include #include -#include -#include #include #include +#include "jansson_private.h" #include "strbuffer.h" +#include "utf.h" + +#define STREAM_STATE_OK 0 +#define STREAM_STATE_EOF -1 +#define STREAM_STATE_ERROR -2 #define TOKEN_INVALID -1 #define TOKEN_EOF 0 @@ -20,33 +32,35 @@ #define TOKEN_FALSE 260 #define TOKEN_NULL 261 -/* read one byte from stream, return EOF on end of file */ +/* Read one byte from stream, convert to unsigned char, then int, and + return. return EOF on end of file. This corresponds to the + behaviour of fgetc(). */ typedef int (*get_func)(void *data); -/* return non-zero if end of file has been reached */ -typedef int (*eof_func)(void *data); - typedef struct { get_func get; - eof_func eof; void *data; char buffer[5]; int buffer_pos; + int state; + int line; + int column, last_column; + size_t position; } stream_t; - typedef struct { stream_t stream; strbuffer_t saved_text; int token; - int line, column; union { char *string; - int integer; + json_int_t integer; double real; } value; } lex_t; +#define stream_to_lex(stream) container_of(stream, lex_t, stream) + /*** error reporting ***/ @@ -54,141 +68,272 @@ static void error_set(json_error_t *error, const lex_t *lex, const char *msg, ...) { va_list ap; - char text[JSON_ERROR_TEXT_LENGTH]; + char msg_text[JSON_ERROR_TEXT_LENGTH]; + + int line = -1, col = -1; + size_t pos = 0; + const char *result = msg_text; if(!error) return; va_start(ap, msg); - vsnprintf(text, JSON_ERROR_TEXT_LENGTH, msg, ap); + vsnprintf(msg_text, JSON_ERROR_TEXT_LENGTH, msg, ap); va_end(ap); if(lex) { const char *saved_text = strbuffer_value(&lex->saved_text); - error->line = lex->line; + char msg_with_context[JSON_ERROR_TEXT_LENGTH]; + + line = lex->stream.line; + col = lex->stream.column; + pos = lex->stream.position; + if(saved_text && saved_text[0]) { - snprintf(error->text, JSON_ERROR_TEXT_LENGTH, - "%s near '%s'", text, saved_text); + if(lex->saved_text.length <= 20) { + snprintf(msg_with_context, JSON_ERROR_TEXT_LENGTH, + "%s near '%s'", msg_text, saved_text); + result = msg_with_context; + } } else { - snprintf(error->text, JSON_ERROR_TEXT_LENGTH, - "%s near end of file", text); + if(lex->stream.state == STREAM_STATE_ERROR) { + /* No context for UTF-8 decoding errors */ + result = msg_text; + } + else { + snprintf(msg_with_context, JSON_ERROR_TEXT_LENGTH, + "%s near end of file", msg_text); + result = msg_with_context; + } } } - else - { - error->line = -1; - snprintf(error->text, JSON_ERROR_TEXT_LENGTH, "%s", text); - } + + jsonp_error_set(error, line, col, pos, "%s", result); } /*** lexical analyzer ***/ -void stream_init(stream_t *stream, get_func get, eof_func eof, void *data) +static void +stream_init(stream_t *stream, get_func get, void *data) { stream->get = get; - stream->eof = eof; stream->data = data; stream->buffer[0] = '\0'; stream->buffer_pos = 0; + + stream->state = STREAM_STATE_OK; + stream->line = 1; + stream->column = 0; + stream->position = 0; } -static char stream_get(stream_t *stream) +static int stream_get(stream_t *stream, json_error_t *error) { + int c; + + if(stream->state != STREAM_STATE_OK) + return stream->state; + if(!stream->buffer[stream->buffer_pos]) { - stream->buffer[0] = stream->get(stream->data); + c = stream->get(stream->data); + if(c == EOF) { + stream->state = STREAM_STATE_EOF; + return STREAM_STATE_EOF; + } + + stream->buffer[0] = c; stream->buffer_pos = 0; + + if(0x80 <= c && c <= 0xFF) + { + /* multi-byte UTF-8 sequence */ + int i, count; + + count = utf8_check_first(c); + if(!count) + goto out; + + assert(count >= 2); + + for(i = 1; i < count; i++) + stream->buffer[i] = stream->get(stream->data); + + if(!utf8_check_full(stream->buffer, count, NULL)) + goto out; + + stream->buffer[count] = '\0'; + } + else + stream->buffer[1] = '\0'; + } + + c = stream->buffer[stream->buffer_pos++]; + + stream->position++; + if(c == '\n') { + stream->line++; + stream->last_column = stream->column; + stream->column = 0; + } + else if(utf8_check_first(c)) { + /* track the Unicode character column, so increment only if + this is the first character of a UTF-8 sequence */ + stream->column++; } - return (char)stream->buffer[stream->buffer_pos++]; + return c; + +out: + stream->state = STREAM_STATE_ERROR; + error_set(error, stream_to_lex(stream), "unable to decode byte 0x%x", c); + return STREAM_STATE_ERROR; } -static void stream_unget(stream_t *stream, char c) +static void stream_unget(stream_t *stream, int c) { + if(c == STREAM_STATE_EOF || c == STREAM_STATE_ERROR) + return; + + stream->position--; + if(c == '\n') { + stream->line--; + stream->column = stream->last_column; + } + else if(utf8_check_first(c)) + stream->column--; + assert(stream->buffer_pos > 0); stream->buffer_pos--; - assert(stream->buffer[stream->buffer_pos] == (unsigned char)c); + assert(stream->buffer[stream->buffer_pos] == c); } -static int lex_get(lex_t *lex) -{ - return stream_get(&lex->stream); -} - -static int lex_eof(lex_t *lex) +static int lex_get(lex_t *lex, json_error_t *error) { - return lex->stream.eof(lex->stream.data); + return stream_get(&lex->stream, error); } -static void lex_save(lex_t *lex, char c) +static void lex_save(lex_t *lex, int c) { strbuffer_append_byte(&lex->saved_text, c); } -static int lex_get_save(lex_t *lex) +static int lex_get_save(lex_t *lex, json_error_t *error) { - char c = stream_get(&lex->stream); - lex_save(lex, c); + int c = stream_get(&lex->stream, error); + if(c != STREAM_STATE_EOF && c != STREAM_STATE_ERROR) + lex_save(lex, c); return c; } -static void lex_unget_unsave(lex_t *lex, char c) +static void lex_unget(lex_t *lex, int c) { - char d; stream_unget(&lex->stream, c); - d = strbuffer_pop(&lex->saved_text); - assert(c == d); } -static void lex_scan_string(lex_t *lex) +static void lex_unget_unsave(lex_t *lex, int c) { - char c; + if(c != STREAM_STATE_EOF && c != STREAM_STATE_ERROR) { + char d; + stream_unget(&lex->stream, c); + d = strbuffer_pop(&lex->saved_text); + assert(c == d); + } +} + +static void lex_save_cached(lex_t *lex) +{ + while(lex->stream.buffer[lex->stream.buffer_pos] != '\0') + { + lex_save(lex, lex->stream.buffer[lex->stream.buffer_pos]); + lex->stream.buffer_pos++; + lex->stream.position++; + } +} + +/* assumes that str points to 'u' plus at least 4 valid hex digits */ +static int32_t decode_unicode_escape(const char *str) +{ + int i; + int32_t value = 0; + + assert(str[0] == 'u'); + + for(i = 1; i <= 4; i++) { + char c = str[i]; + value <<= 4; + if(isdigit(c)) + value += c - '0'; + else if(islower(c)) + value += c - 'a' + 10; + else if(isupper(c)) + value += c - 'A' + 10; + else + assert(0); + } + + return value; +} + +static void lex_scan_string(lex_t *lex, json_error_t *error) +{ + int c; const char *p; char *t; + int i; + lex->value.string = NULL; lex->token = TOKEN_INVALID; - /* skip the " */ - c = lex_get_save(lex); + c = lex_get_save(lex, error); while(c != '"') { - if(c == EOF && lex_eof(lex)) + if(c == STREAM_STATE_ERROR) + goto out; + + else if(c == STREAM_STATE_EOF) { + error_set(error, lex, "premature end of input"); goto out; + } else if(0 <= c && c <= 0x1F) { /* control character */ lex_unget_unsave(lex, c); + if(c == '\n') + error_set(error, lex, "unexpected newline", c); + else + error_set(error, lex, "control character 0x%x", c); goto out; } else if(c == '\\') { - c = lex_get_save(lex); + c = lex_get_save(lex, error); if(c == 'u') { - c = lex_get_save(lex); - for(int i = 0; i < 4; i++) { + c = lex_get_save(lex, error); + for(i = 0; i < 4; i++) { if(!isxdigit(c)) { - lex_unget_unsave(lex, c); + error_set(error, lex, "invalid escape"); goto out; } - c = lex_get_save(lex); + c = lex_get_save(lex, error); } } else if(c == '"' || c == '\\' || c == '/' || c == 'b' || c == 'f' || c == 'n' || c == 'r' || c == 't') - c = lex_get_save(lex); + c = lex_get_save(lex, error); else { - lex_unget_unsave(lex, c); + error_set(error, lex, "invalid escape"); goto out; } } else - c = lex_get_save(lex); + c = lex_get_save(lex, error); } /* the actual value is at most of the same length as the source @@ -198,7 +343,7 @@ static void lex_scan_string(lex_t *lex) - two \uXXXX escapes (length 12) forming an UTF-16 surrogate pair are converted to 4 bytes */ - lex->value.string = malloc(lex->saved_text.length + 1); + lex->value.string = jsonp_malloc(lex->saved_text.length + 1); if(!lex->value.string) { /* this is not very nice, since TOKEN_INVALID is returned */ goto out; @@ -214,11 +359,58 @@ static void lex_scan_string(lex_t *lex) if(*p == '\\') { p++; if(*p == 'u') { - /* TODO: \uXXXX not supported yet */ - free(lex->value.string); - lex->value.string = NULL; - goto out; - } else { + char buffer[4]; + int length; + int32_t value; + + value = decode_unicode_escape(p); + p += 5; + + if(0xD800 <= value && value <= 0xDBFF) { + /* surrogate pair */ + if(*p == '\\' && *(p + 1) == 'u') { + int32_t value2 = decode_unicode_escape(++p); + p += 5; + + if(0xDC00 <= value2 && value2 <= 0xDFFF) { + /* valid second surrogate */ + value = + ((value - 0xD800) << 10) + + (value2 - 0xDC00) + + 0x10000; + } + else { + /* invalid second surrogate */ + error_set(error, lex, + "invalid Unicode '\\u%04X\\u%04X'", + value, value2); + goto out; + } + } + else { + /* no second surrogate */ + error_set(error, lex, "invalid Unicode '\\u%04X'", + value); + goto out; + } + } + else if(0xDC00 <= value && value <= 0xDFFF) { + error_set(error, lex, "invalid Unicode '\\u%04X'", value); + goto out; + } + else if(value == 0) + { + error_set(error, lex, "\\u0000 is not allowed"); + goto out; + } + + if(utf8_encode(value, buffer, &length)) + assert(0); + + memcpy(t, buffer, length); + t += length; + } + else { switch(*p) { case '"': case '\\': case '/': *t = *p; break; @@ -229,114 +421,148 @@ static void lex_scan_string(lex_t *lex) case 't': *t = '\t'; break; default: assert(0); } + t++; + p++; } } else - *t = *p; - - t++; - p++; + *(t++) = *(p++); } *t = '\0'; lex->token = TOKEN_STRING; + return; out: - return; + jsonp_free(lex->value.string); } -static void lex_scan_number(lex_t *lex, char c) +#if JSON_INTEGER_IS_LONG_LONG +#define json_strtoint strtoll +#else +#define json_strtoint strtol +#endif + +static int lex_scan_number(lex_t *lex, int c, json_error_t *error) { const char *saved_text; char *end; + double value; lex->token = TOKEN_INVALID; if(c == '-') - c = lex_get_save(lex); + c = lex_get_save(lex, error); if(c == '0') { - c = lex_get_save(lex); + c = lex_get_save(lex, error); if(isdigit(c)) { lex_unget_unsave(lex, c); goto out; } } - else /* c != '0' */ { - c = lex_get_save(lex); + else if(isdigit(c)) { + c = lex_get_save(lex, error); while(isdigit(c)) - c = lex_get_save(lex); + c = lex_get_save(lex, error); + } + else { + lex_unget_unsave(lex, c); + goto out; } if(c != '.' && c != 'E' && c != 'e') { + json_int_t value; + lex_unget_unsave(lex, c); - lex->token = TOKEN_INTEGER; saved_text = strbuffer_value(&lex->saved_text); - lex->value.integer = strtol(saved_text, &end, 10); + + errno = 0; + value = json_strtoint(saved_text, &end, 10); + if(errno == ERANGE) { + if(value < 0) + error_set(error, lex, "too big negative integer"); + else + error_set(error, lex, "too big integer"); + goto out; + } + assert(end == saved_text + lex->saved_text.length); - return; + lex->token = TOKEN_INTEGER; + lex->value.integer = value; + return 0; } if(c == '.') { - c = lex_get(lex); - if(!isdigit(c)) + c = lex_get(lex, error); + if(!isdigit(c)) { + lex_unget(lex, c); goto out; + } lex_save(lex, c); - c = lex_get_save(lex); + c = lex_get_save(lex, error); while(isdigit(c)) - c = lex_get_save(lex); + c = lex_get_save(lex, error); } if(c == 'E' || c == 'e') { - c = lex_get_save(lex); + c = lex_get_save(lex, error); if(c == '+' || c == '-') - c = lex_get_save(lex); + c = lex_get_save(lex, error); if(!isdigit(c)) { lex_unget_unsave(lex, c); goto out; } - c = lex_get_save(lex); + c = lex_get_save(lex, error); while(isdigit(c)) - c = lex_get_save(lex); + c = lex_get_save(lex, error); } lex_unget_unsave(lex, c); - lex->token = TOKEN_REAL; saved_text = strbuffer_value(&lex->saved_text); - lex->value.real = strtod(saved_text, &end); + value = strtod(saved_text, &end); assert(end == saved_text + lex->saved_text.length); + if(errno == ERANGE && value != 0) { + error_set(error, lex, "real number overflow"); + goto out; + } + + lex->token = TOKEN_REAL; + lex->value.real = value; + return 0; + out: - return; + return -1; } -static int lex_scan(lex_t *lex) +static int lex_scan(lex_t *lex, json_error_t *error) { - char c; + int c; strbuffer_clear(&lex->saved_text); if(lex->token == TOKEN_STRING) { - free(lex->value.string); - lex->value.string = NULL; + jsonp_free(lex->value.string); + lex->value.string = NULL; } - c = lex_get(lex); + c = lex_get(lex, error); while(c == ' ' || c == '\t' || c == '\n' || c == '\r') - { - if(c == '\n') - lex->line++; + c = lex_get(lex, error); - c = lex_get(lex); + if(c == STREAM_STATE_EOF) { + lex->token = TOKEN_EOF; + goto out; } - if(c == EOF && lex_eof(lex)) { - lex->token = TOKEN_EOF; + if(c == STREAM_STATE_ERROR) { + lex->token = TOKEN_INVALID; goto out; } @@ -346,18 +572,20 @@ static int lex_scan(lex_t *lex) lex->token = c; else if(c == '"') - lex_scan_string(lex); + lex_scan_string(lex, error); - else if(isdigit(c) || c == '-') - lex_scan_number(lex, c); + else if(isdigit(c) || c == '-') { + if(lex_scan_number(lex, c, error)) + goto out; + } else if(isupper(c) || islower(c)) { /* eat up the whole identifier for clearer error messages */ const char *saved_text; - c = lex_get_save(lex); + c = lex_get_save(lex, error); while(isupper(c) || islower(c)) - c = lex_get_save(lex); + c = lex_get_save(lex, error); lex_unget_unsave(lex, c); saved_text = strbuffer_value(&lex->saved_text); @@ -372,29 +600,43 @@ static int lex_scan(lex_t *lex) lex->token = TOKEN_INVALID; } - else + else { + /* save the rest of the input UTF-8 sequence to get an error + message of valid UTF-8 */ + lex_save_cached(lex); lex->token = TOKEN_INVALID; + } out: return lex->token; } -static int lex_init(lex_t *lex, get_func get, eof_func eof, void *data) +static char *lex_steal_string(lex_t *lex) { - stream_init(&lex->stream, get, eof, data); + char *result = NULL; + if(lex->token == TOKEN_STRING) + { + result = lex->value.string; + lex->value.string = NULL; + } + return result; +} + +static int lex_init(lex_t *lex, get_func get, void *data) +{ + stream_init(&lex->stream, get, data); if(strbuffer_init(&lex->saved_text)) return -1; lex->token = TOKEN_INVALID; - lex->line = 1; - return 0; } static void lex_close(lex_t *lex) { if(lex->token == TOKEN_STRING) - free(lex->value.string); + jsonp_free(lex->value.string); + strbuffer_close(&lex->saved_text); } @@ -408,7 +650,7 @@ static json_t *parse_object(lex_t *lex, json_error_t *error) if(!object) return NULL; - lex_scan(lex); + lex_scan(lex, error); if(lex->token == '}') return object; @@ -421,38 +663,38 @@ static json_t *parse_object(lex_t *lex, json_error_t *error) goto error; } - key = strdup(lex->value.string); + key = lex_steal_string(lex); if(!key) return NULL; - lex_scan(lex); + lex_scan(lex, error); if(lex->token != ':') { - free(key); + jsonp_free(key); error_set(error, lex, "':' expected"); goto error; } - lex_scan(lex); + lex_scan(lex, error); value = parse_value(lex, error); if(!value) { - free(key); + jsonp_free(key); goto error; } - if(json_object_set(object, key, value)) { - free(key); + if(json_object_set_nocheck(object, key, value)) { + jsonp_free(key); json_decref(value); goto error; } json_decref(value); - free(key); + jsonp_free(key); - lex_scan(lex); + lex_scan(lex, error); if(lex->token != ',') break; - lex_scan(lex); + lex_scan(lex, error); } if(lex->token != '}') { @@ -473,7 +715,7 @@ static json_t *parse_array(lex_t *lex, json_error_t *error) if(!array) return NULL; - lex_scan(lex); + lex_scan(lex, error); if(lex->token == ']') return array; @@ -488,11 +730,11 @@ static json_t *parse_array(lex_t *lex, json_error_t *error) } json_decref(elem); - lex_scan(lex); + lex_scan(lex, error); if(lex->token != ',') break; - lex_scan(lex); + lex_scan(lex, error); } if(lex->token != ']') { @@ -513,7 +755,7 @@ static json_t *parse_value(lex_t *lex, json_error_t *error) switch(lex->token) { case TOKEN_STRING: { - json = json_string(lex->value.string); + json = json_string_nocheck(lex->value.string); break; } @@ -540,7 +782,7 @@ static json_t *parse_value(lex_t *lex, json_error_t *error) break; case '{': - json = parse_object(lex, error); + json = parse_object(lex, error); break; case '[': @@ -562,10 +804,9 @@ static json_t *parse_value(lex_t *lex, json_error_t *error) return json; } -json_t *parse_json(lex_t *lex, json_error_t *error) +static json_t *parse_json(lex_t *lex, json_error_t *error) { - lex_scan(lex); - + lex_scan(lex, error); if(lex->token != '[' && lex->token != '{') { error_set(error, lex, "'[' or '{' expected"); return NULL; @@ -574,25 +815,6 @@ json_t *parse_json(lex_t *lex, json_error_t *error) return parse_value(lex, error); } -json_t *json_load(const char *path, json_error_t *error) -{ - json_t *result; - FILE *fp; - - fp = fopen(path, "r"); - if(!fp) - { - error_set(error, NULL, "unable to open %s: %s", - path, strerror(errno)); - return NULL; - } - - result = json_loadf(fp, error); - - fclose(fp); - return result; -} - typedef struct { const char *data; @@ -603,37 +825,34 @@ static int string_get(void *data) { char c; string_data_t *stream = (string_data_t *)data; - c = stream->data[stream->pos++]; + c = stream->data[stream->pos]; if(c == '\0') return EOF; else - return c; -} - -static int string_eof(void *data) -{ - string_data_t *stream = (string_data_t *)data; - return (stream->data[stream->pos] == '\0'); + { + stream->pos++; + return (unsigned char)c; + } } -json_t *json_loads(const char *string, json_error_t *error) +json_t *json_loads(const char *string, size_t flags, json_error_t *error) { lex_t lex; json_t *result; + string_data_t stream_data = {string, 0}; - string_data_t stream_data = { - .data = string, - .pos = 0 - }; + (void)flags; /* unused */ - if(lex_init(&lex, string_get, string_eof, (void *)&stream_data)) + if(lex_init(&lex, string_get, (void *)&stream_data)) return NULL; + jsonp_error_init(error, ""); + result = parse_json(&lex, error); if(!result) goto out; - lex_scan(&lex); + lex_scan(&lex, error); if(lex.token != TOKEN_EOF) { error_set(error, &lex, "end of file expected"); json_decref(result); @@ -645,16 +864,56 @@ out: return result; } -json_t *json_loadf(FILE *input, json_error_t *error) +json_t *json_loadf(FILE *input, size_t flags, json_error_t *error) { lex_t lex; + const char *source; json_t *result; + (void)flags; /* unused */ - if(lex_init(&lex, (get_func)fgetc, (eof_func)feof, input)) + if(lex_init(&lex, (get_func)fgetc, input)) return NULL; + if(input == stdin) + source = ""; + else + source = ""; + + jsonp_error_init(error, source); + result = parse_json(&lex, error); + if(!result) + goto out; + + lex_scan(&lex, error); + if(lex.token != TOKEN_EOF) { + error_set(error, &lex, "end of file expected"); + json_decref(result); + result = NULL; + } +out: lex_close(&lex); return result; } + +json_t *json_load_file(const char *path, size_t flags, json_error_t *error) +{ + json_t *result; + FILE *fp; + + jsonp_error_init(error, path); + + fp = fopen(path, "r"); + if(!fp) + { + error_set(error, NULL, "unable to open %s: %s", + path, strerror(errno)); + return NULL; + } + + result = json_loadf(fp, flags, error); + + fclose(fp); + return result; +}