Annotation of embedaddon/php/ext/json/JSON_parser.c, revision 1.1
1.1 ! misho 1: /* JSON_parser.c */
! 2:
! 3: /* 2005-12-30 */
! 4:
! 5: /*
! 6: Copyright (c) 2005 JSON.org
! 7:
! 8: Permission is hereby granted, free of charge, to any person obtaining a copy
! 9: of this software and associated documentation files (the "Software"), to deal
! 10: in the Software without restriction, including without limitation the rights
! 11: to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
! 12: copies of the Software, and to permit persons to whom the Software is
! 13: furnished to do so, subject to the following conditions:
! 14:
! 15: The above copyright notice and this permission notice shall be included in all
! 16: copies or substantial portions of the Software.
! 17:
! 18: The Software shall be used for Good, not Evil.
! 19:
! 20: THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
! 21: IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
! 22: FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
! 23: AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
! 24: LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
! 25: OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
! 26: SOFTWARE.
! 27: */
! 28:
! 29: #include <stdio.h>
! 30: #include "JSON_parser.h"
! 31:
! 32: /* Windows defines IN for documentation */
! 33: #undef IN
! 34:
! 35: #define true 1
! 36: #define false 0
! 37: #define __ -1 /* the universal error code */
! 38:
! 39: /*
! 40: Characters are mapped into these 31 character classes. This allows for
! 41: a significant reduction in the size of the state transition table.
! 42: */
! 43:
! 44: enum classes {
! 45: C_SPACE, /* space */
! 46: C_WHITE, /* other whitespace */
! 47: C_LCURB, /* { */
! 48: C_RCURB, /* } */
! 49: C_LSQRB, /* [ */
! 50: C_RSQRB, /* ] */
! 51: C_COLON, /* : */
! 52: C_COMMA, /* , */
! 53: C_QUOTE, /* " */
! 54: C_BACKS, /* \ */
! 55: C_SLASH, /* / */
! 56: C_PLUS, /* + */
! 57: C_MINUS, /* - */
! 58: C_POINT, /* . */
! 59: C_ZERO , /* 0 */
! 60: C_DIGIT, /* 123456789 */
! 61: C_LOW_A, /* a */
! 62: C_LOW_B, /* b */
! 63: C_LOW_C, /* c */
! 64: C_LOW_D, /* d */
! 65: C_LOW_E, /* e */
! 66: C_LOW_F, /* f */
! 67: C_LOW_L, /* l */
! 68: C_LOW_N, /* n */
! 69: C_LOW_R, /* r */
! 70: C_LOW_S, /* s */
! 71: C_LOW_T, /* t */
! 72: C_LOW_U, /* u */
! 73: C_ABCDF, /* ABCDF */
! 74: C_E, /* E */
! 75: C_ETC, /* everything else */
! 76: NR_CLASSES
! 77: };
! 78:
! 79: static const int ascii_class[128] = {
! 80: /*
! 81: This array maps the 128 ASCII characters into character classes.
! 82: The remaining Unicode characters should be mapped to C_ETC.
! 83: Non-whitespace control characters are errors.
! 84: */
! 85: __, __, __, __, __, __, __, __,
! 86: __, C_WHITE, C_WHITE, __, __, C_WHITE, __, __,
! 87: __, __, __, __, __, __, __, __,
! 88: __, __, __, __, __, __, __, __,
! 89:
! 90: C_SPACE, C_ETC, C_QUOTE, C_ETC, C_ETC, C_ETC, C_ETC, C_ETC,
! 91: C_ETC, C_ETC, C_ETC, C_PLUS, C_COMMA, C_MINUS, C_POINT, C_SLASH,
! 92: C_ZERO, C_DIGIT, C_DIGIT, C_DIGIT, C_DIGIT, C_DIGIT, C_DIGIT, C_DIGIT,
! 93: C_DIGIT, C_DIGIT, C_COLON, C_ETC, C_ETC, C_ETC, C_ETC, C_ETC,
! 94:
! 95: C_ETC, C_ABCDF, C_ABCDF, C_ABCDF, C_ABCDF, C_E, C_ABCDF, C_ETC,
! 96: C_ETC, C_ETC, C_ETC, C_ETC, C_ETC, C_ETC, C_ETC, C_ETC,
! 97: C_ETC, C_ETC, C_ETC, C_ETC, C_ETC, C_ETC, C_ETC, C_ETC,
! 98: C_ETC, C_ETC, C_ETC, C_LSQRB, C_BACKS, C_RSQRB, C_ETC, C_ETC,
! 99:
! 100: C_ETC, C_LOW_A, C_LOW_B, C_LOW_C, C_LOW_D, C_LOW_E, C_LOW_F, C_ETC,
! 101: C_ETC, C_ETC, C_ETC, C_ETC, C_LOW_L, C_ETC, C_LOW_N, C_ETC,
! 102: C_ETC, C_ETC, C_LOW_R, C_LOW_S, C_LOW_T, C_LOW_U, C_ETC, C_ETC,
! 103: C_ETC, C_ETC, C_ETC, C_LCURB, C_ETC, C_RCURB, C_ETC, C_ETC
! 104: };
! 105:
! 106:
! 107: /*
! 108: The state codes.
! 109: */
! 110: enum states {
! 111: GO, /* start */
! 112: OK, /* ok */
! 113: OB, /* object */
! 114: KE, /* key */
! 115: CO, /* colon */
! 116: VA, /* value */
! 117: AR, /* array */
! 118: ST, /* string */
! 119: ES, /* escape */
! 120: U1, /* u1 */
! 121: U2, /* u2 */
! 122: U3, /* u3 */
! 123: U4, /* u4 */
! 124: MI, /* minus */
! 125: ZE, /* zero */
! 126: IN, /* integer */
! 127: FR, /* fraction */
! 128: E1, /* e */
! 129: E2, /* ex */
! 130: E3, /* exp */
! 131: T1, /* tr */
! 132: T2, /* tru */
! 133: T3, /* true */
! 134: F1, /* fa */
! 135: F2, /* fal */
! 136: F3, /* fals */
! 137: F4, /* false */
! 138: N1, /* nu */
! 139: N2, /* nul */
! 140: N3, /* null */
! 141: NR_STATES
! 142: };
! 143:
! 144:
! 145: static const int state_transition_table[NR_STATES][NR_CLASSES] = {
! 146: /*
! 147: The state transition table takes the current state and the current symbol,
! 148: and returns either a new state or an action. An action is represented as a
! 149: negative number. A JSON text is accepted if at the end of the text the
! 150: state is OK and if the mode is MODE_DONE.
! 151:
! 152: white 1-9 ABCDF etc
! 153: space | { } [ ] : , " \ / + - . 0 | a b c d e f l n r s t u | E |*/
! 154: /*start GO*/ {GO,GO,-6,__,-5,__,__,__,ST,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__},
! 155: /*ok OK*/ {OK,OK,__,-8,__,-7,__,-3,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__},
! 156: /*object OB*/ {OB,OB,__,-9,__,__,__,__,ST,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__},
! 157: /*key KE*/ {KE,KE,__,__,__,__,__,__,ST,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__},
! 158: /*colon CO*/ {CO,CO,__,__,__,__,-2,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__},
! 159: /*value VA*/ {VA,VA,-6,__,-5,__,__,__,ST,__,__,__,MI,__,ZE,IN,__,__,__,__,__,F1,__,N1,__,__,T1,__,__,__,__},
! 160: /*array AR*/ {AR,AR,-6,__,-5,-7,__,__,ST,__,__,__,MI,__,ZE,IN,__,__,__,__,__,F1,__,N1,__,__,T1,__,__,__,__},
! 161: /*string ST*/ {ST,__,ST,ST,ST,ST,ST,ST,-4,ES,ST,ST,ST,ST,ST,ST,ST,ST,ST,ST,ST,ST,ST,ST,ST,ST,ST,ST,ST,ST,ST},
! 162: /*escape ES*/ {__,__,__,__,__,__,__,__,ST,ST,ST,__,__,__,__,__,__,ST,__,__,__,ST,__,ST,ST,__,ST,U1,__,__,__},
! 163: /*u1 U1*/ {__,__,__,__,__,__,__,__,__,__,__,__,__,__,U2,U2,U2,U2,U2,U2,U2,U2,__,__,__,__,__,__,U2,U2,__},
! 164: /*u2 U2*/ {__,__,__,__,__,__,__,__,__,__,__,__,__,__,U3,U3,U3,U3,U3,U3,U3,U3,__,__,__,__,__,__,U3,U3,__},
! 165: /*u3 U3*/ {__,__,__,__,__,__,__,__,__,__,__,__,__,__,U4,U4,U4,U4,U4,U4,U4,U4,__,__,__,__,__,__,U4,U4,__},
! 166: /*u4 U4*/ {__,__,__,__,__,__,__,__,__,__,__,__,__,__,ST,ST,ST,ST,ST,ST,ST,ST,__,__,__,__,__,__,ST,ST,__},
! 167: /*minus MI*/ {__,__,__,__,__,__,__,__,__,__,__,__,__,__,ZE,IN,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__},
! 168: /*zero ZE*/ {OK,OK,__,-8,__,-7,__,-3,__,__,__,__,__,FR,__,__,__,__,__,__,E1,__,__,__,__,__,__,__,__,E1,__},
! 169: /*int IN*/ {OK,OK,__,-8,__,-7,__,-3,__,__,__,__,__,FR,IN,IN,__,__,__,__,E1,__,__,__,__,__,__,__,__,E1,__},
! 170: /*frac FR*/ {OK,OK,__,-8,__,-7,__,-3,__,__,__,__,__,__,FR,FR,__,__,__,__,E1,__,__,__,__,__,__,__,__,E1,__},
! 171: /*e E1*/ {__,__,__,__,__,__,__,__,__,__,__,E2,E2,__,E3,E3,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__},
! 172: /*ex E2*/ {__,__,__,__,__,__,__,__,__,__,__,__,__,__,E3,E3,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__},
! 173: /*exp E3*/ {OK,OK,__,-8,__,-7,__,-3,__,__,__,__,__,__,E3,E3,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__},
! 174: /*tr T1*/ {__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,T2,__,__,__,__,__,__},
! 175: /*tru T2*/ {__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,T3,__,__,__},
! 176: /*true T3*/ {__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,OK,__,__,__,__,__,__,__,__,__,__},
! 177: /*fa F1*/ {__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,F2,__,__,__,__,__,__,__,__,__,__,__,__,__,__},
! 178: /*fal F2*/ {__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,F3,__,__,__,__,__,__,__,__},
! 179: /*fals F3*/ {__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,F4,__,__,__,__,__},
! 180: /*false F4*/ {__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,OK,__,__,__,__,__,__,__,__,__,__},
! 181: /*nu N1*/ {__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,N2,__,__,__},
! 182: /*nul N2*/ {__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,N3,__,__,__,__,__,__,__,__},
! 183: /*null N3*/ {__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,__,OK,__,__,__,__,__,__,__,__},
! 184: };
! 185:
! 186:
! 187: /*
! 188: These modes can be pushed on the stack.
! 189: */
! 190: enum modes {
! 191: MODE_ARRAY,
! 192: MODE_DONE,
! 193: MODE_KEY,
! 194: MODE_OBJECT,
! 195: };
! 196:
! 197:
! 198: /*
! 199: Push a mode onto the stack. Return false if there is overflow.
! 200: */
! 201: static int
! 202: push(JSON_parser jp, int mode)
! 203: {
! 204: jp->top += 1;
! 205: if (jp->top >= jp->depth) {
! 206: jp->error_code = PHP_JSON_ERROR_DEPTH;
! 207: return false;
! 208: }
! 209: jp->stack[jp->top] = mode;
! 210: return true;
! 211: }
! 212:
! 213:
! 214: /*
! 215: Pop the stack, assuring that the current mode matches the expectation.
! 216: Return false if there is underflow or if the modes mismatch.
! 217: */
! 218: static int
! 219: pop(JSON_parser jp, int mode)
! 220: {
! 221: if (jp->top < 0 || jp->stack[jp->top] != mode) {
! 222: jp->error_code = PHP_JSON_ERROR_STATE_MISMATCH;
! 223: return false;
! 224: }
! 225: jp->top -= 1;
! 226: return true;
! 227: }
! 228:
! 229: /*
! 230: new_JSON_checker starts the checking process by constructing a JSON_checker
! 231: object. It takes a depth parameter that restricts the level of maximum
! 232: nesting.
! 233:
! 234: To continue the process, call JSON_checker_char for each character in the
! 235: JSON text, and then call JSON_checker_done to obtain the final result.
! 236: These functions are fully reentrant.
! 237:
! 238: The JSON_checker object will be deleted by JSON_checker_done.
! 239: JSON_checker_char will delete the JSON_checker object if it sees an error.
! 240: */
! 241: JSON_parser
! 242: new_JSON_parser(int depth)
! 243: {
! 244: JSON_parser jp = (JSON_parser)emalloc(sizeof(struct JSON_parser_struct));
! 245: jp->state = GO;
! 246: jp->depth = depth;
! 247: jp->top = -1;
! 248: jp->error_code = PHP_JSON_ERROR_NONE;
! 249: jp->stack = (int*)ecalloc(depth, sizeof(int));
! 250: if (depth > JSON_PARSER_DEFAULT_DEPTH) {
! 251: jp->the_zstack = (zval **)safe_emalloc(depth, sizeof(zval), 0);
! 252: } else {
! 253: jp->the_zstack = &jp->the_static_zstack[0];
! 254: }
! 255: push(jp, MODE_DONE);
! 256: return jp;
! 257: }
! 258:
! 259: /*
! 260: Delete the JSON_parser object.
! 261: */
! 262: int
! 263: free_JSON_parser(JSON_parser jp)
! 264: {
! 265: efree((void*)jp->stack);
! 266: if (jp->the_zstack != &jp->the_static_zstack[0]) {
! 267: efree(jp->the_zstack);
! 268: }
! 269: efree((void*)jp);
! 270: return false;
! 271: }
! 272:
! 273: static int dehexchar(char c)
! 274: {
! 275: if (c >= '0' && c <= '9')
! 276: {
! 277: return c - '0';
! 278: }
! 279: else if (c >= 'A' && c <= 'F')
! 280: {
! 281: return c - ('A' - 10);
! 282: }
! 283: else if (c >= 'a' && c <= 'f')
! 284: {
! 285: return c - ('a' - 10);
! 286: }
! 287: else
! 288: {
! 289: return -1;
! 290: }
! 291: }
! 292:
! 293:
! 294: static void json_create_zval(zval **z, smart_str *buf, int type)
! 295: {
! 296: ALLOC_INIT_ZVAL(*z);
! 297:
! 298: if (type == IS_LONG)
! 299: {
! 300: if (buf->c[0] == '-') {
! 301: buf->len--;
! 302: }
! 303:
! 304: if (buf->len >= MAX_LENGTH_OF_LONG - 1) {
! 305: if (buf->len == MAX_LENGTH_OF_LONG - 1) {
! 306: int cmp = strcmp(buf->c + (buf->c[0] == '-'), long_min_digits);
! 307:
! 308: if (!(cmp < 0 || (cmp == 0 && buf->c[0] == '-'))) {
! 309: goto use_double;
! 310: }
! 311: } else {
! 312: goto use_double;
! 313: }
! 314: }
! 315:
! 316: ZVAL_LONG(*z, strtol(buf->c, NULL, 10));
! 317: }
! 318: else if (type == IS_DOUBLE)
! 319: {
! 320: use_double:
! 321: ZVAL_DOUBLE(*z, zend_strtod(buf->c, NULL));
! 322: }
! 323: else if (type == IS_STRING)
! 324: {
! 325: ZVAL_STRINGL(*z, buf->c, buf->len, 1);
! 326: }
! 327: else if (type == IS_BOOL)
! 328: {
! 329: ZVAL_BOOL(*z, (*(buf->c) == 't'));
! 330: }
! 331: else /* type == IS_NULL) || type unknown */
! 332: {
! 333: ZVAL_NULL(*z);
! 334: }
! 335: }
! 336:
! 337:
! 338: static void utf16_to_utf8(smart_str *buf, unsigned short utf16)
! 339: {
! 340: if (utf16 < 0x80)
! 341: {
! 342: smart_str_appendc(buf, (unsigned char) utf16);
! 343: }
! 344: else if (utf16 < 0x800)
! 345: {
! 346: smart_str_appendc(buf, 0xc0 | (utf16 >> 6));
! 347: smart_str_appendc(buf, 0x80 | (utf16 & 0x3f));
! 348: }
! 349: else if ((utf16 & 0xfc00) == 0xdc00
! 350: && buf->len >= 3
! 351: && ((unsigned char) buf->c[buf->len - 3]) == 0xed
! 352: && ((unsigned char) buf->c[buf->len - 2] & 0xf0) == 0xa0
! 353: && ((unsigned char) buf->c[buf->len - 1] & 0xc0) == 0x80)
! 354: {
! 355: /* found surrogate pair */
! 356: unsigned long utf32;
! 357:
! 358: utf32 = (((buf->c[buf->len - 2] & 0xf) << 16)
! 359: | ((buf->c[buf->len - 1] & 0x3f) << 10)
! 360: | (utf16 & 0x3ff)) + 0x10000;
! 361: buf->len -= 3;
! 362:
! 363: smart_str_appendc(buf, (unsigned char) (0xf0 | (utf32 >> 18)));
! 364: smart_str_appendc(buf, 0x80 | ((utf32 >> 12) & 0x3f));
! 365: smart_str_appendc(buf, 0x80 | ((utf32 >> 6) & 0x3f));
! 366: smart_str_appendc(buf, 0x80 | (utf32 & 0x3f));
! 367: }
! 368: else
! 369: {
! 370: smart_str_appendc(buf, 0xe0 | (utf16 >> 12));
! 371: smart_str_appendc(buf, 0x80 | ((utf16 >> 6) & 0x3f));
! 372: smart_str_appendc(buf, 0x80 | (utf16 & 0x3f));
! 373: }
! 374: }
! 375:
! 376: static void attach_zval(JSON_parser jp, int up, int cur, smart_str *key, int assoc TSRMLS_DC)
! 377: {
! 378: zval *root = jp->the_zstack[up];
! 379: zval *child = jp->the_zstack[cur];
! 380: int up_mode = jp->stack[up];
! 381:
! 382: if (up_mode == MODE_ARRAY)
! 383: {
! 384: add_next_index_zval(root, child);
! 385: }
! 386: else if (up_mode == MODE_OBJECT)
! 387: {
! 388: if (!assoc)
! 389: {
! 390: add_property_zval_ex(root, (key->len ? key->c : "_empty_"), (key->len ? (key->len + 1) : sizeof("_empty_")), child TSRMLS_CC);
! 391: Z_DELREF_P(child);
! 392: }
! 393: else
! 394: {
! 395: add_assoc_zval_ex(root, (key->len ? key->c : ""), (key->len ? (key->len + 1) : sizeof("")), child);
! 396: }
! 397: key->len = 0;
! 398: }
! 399: }
! 400:
! 401:
! 402: #define FREE_BUFFERS() smart_str_free(&buf); smart_str_free(&key);
! 403: #define SWAP_BUFFERS(from, to) do { \
! 404: char *t1 = from.c; \
! 405: int t2 = from.a; \
! 406: from.c = to.c; \
! 407: from.a = to.a; \
! 408: to.c = t1; \
! 409: to.a = t2; \
! 410: to.len = from.len; \
! 411: from.len = 0; \
! 412: } while(0);
! 413: #define JSON_RESET_TYPE() type = -1;
! 414:
! 415: /*
! 416: The JSON_parser takes a UTF-16 encoded string and determines if it is a
! 417: syntactically correct JSON text. Along the way, it creates a PHP variable.
! 418:
! 419: It is implemented as a Pushdown Automaton; that means it is a finite state
! 420: machine with a stack.
! 421: */
! 422: int
! 423: parse_JSON(JSON_parser jp, zval *z, unsigned short utf16_json[], int length, int assoc TSRMLS_DC)
! 424: {
! 425: int next_char; /* the next character */
! 426: int next_class; /* the next character class */
! 427: int next_state; /* the next state */
! 428: int the_index;
! 429:
! 430: smart_str buf = {0};
! 431: smart_str key = {0};
! 432:
! 433: unsigned short utf16 = 0;
! 434: int type;
! 435:
! 436: JSON_RESET_TYPE();
! 437:
! 438: for (the_index = 0; the_index < length; the_index += 1) {
! 439: next_char = utf16_json[the_index];
! 440: if (next_char >= 128) {
! 441: next_class = C_ETC;
! 442: } else {
! 443: next_class = ascii_class[next_char];
! 444: if (next_class <= __) {
! 445: jp->error_code = PHP_JSON_ERROR_CTRL_CHAR;
! 446: FREE_BUFFERS();
! 447: return false;
! 448: }
! 449: }
! 450: /*
! 451: Get the next state from the transition table.
! 452: */
! 453: next_state = state_transition_table[jp->state][next_class];
! 454: if (next_state >= 0) {
! 455: /*
! 456: Change the state and iterate
! 457: */
! 458: if (type == IS_STRING) {
! 459: if (next_state == ST && jp->state != U4) {
! 460: if (jp->state != ES) {
! 461: utf16_to_utf8(&buf, next_char);
! 462: } else {
! 463: switch (next_char) {
! 464: case 'b':
! 465: smart_str_appendc(&buf, '\b');
! 466: break;
! 467: case 't':
! 468: smart_str_appendc(&buf, '\t');
! 469: break;
! 470: case 'n':
! 471: smart_str_appendc(&buf, '\n');
! 472: break;
! 473: case 'f':
! 474: smart_str_appendc(&buf, '\f');
! 475: break;
! 476: case 'r':
! 477: smart_str_appendc(&buf, '\r');
! 478: break;
! 479: default:
! 480: utf16_to_utf8(&buf, next_char);
! 481: break;
! 482: }
! 483: }
! 484: } else if (next_state == U2) {
! 485: utf16 = dehexchar(next_char) << 12;
! 486: } else if (next_state == U3) {
! 487: utf16 += dehexchar(next_char) << 8;
! 488: } else if (next_state == U4) {
! 489: utf16 += dehexchar(next_char) << 4;
! 490: } else if (next_state == ST && jp->state == U4) {
! 491: utf16 += dehexchar(next_char);
! 492: utf16_to_utf8(&buf, utf16);
! 493: }
! 494: } else if (type < IS_LONG && (next_class == C_DIGIT || next_class == C_ZERO)) {
! 495: type = IS_LONG;
! 496: smart_str_appendc(&buf, next_char);
! 497: } else if (type == IS_LONG && next_state == E1) {
! 498: type = IS_DOUBLE;
! 499: smart_str_appendc(&buf, next_char);
! 500: } else if (type < IS_DOUBLE && next_class == C_POINT) {
! 501: type = IS_DOUBLE;
! 502: smart_str_appendc(&buf, next_char);
! 503: } else if (type < IS_STRING && next_class == C_QUOTE) {
! 504: type = IS_STRING;
! 505: } else if (type < IS_BOOL && ((jp->state == T3 && next_state == OK) || (jp->state == F4 && next_state == OK))) {
! 506: type = IS_BOOL;
! 507: } else if (type < IS_NULL && jp->state == N3 && next_state == OK) {
! 508: type = IS_NULL;
! 509: } else if (type != IS_STRING && next_class > C_WHITE) {
! 510: utf16_to_utf8(&buf, next_char);
! 511: }
! 512: jp->state = next_state;
! 513: } else {
! 514: /*
! 515: Perform one of the predefined actions.
! 516: */
! 517: switch (next_state) {
! 518: /* empty } */
! 519: case -9:
! 520: if (!pop(jp, MODE_KEY)) {
! 521: FREE_BUFFERS();
! 522: return false;
! 523: }
! 524: jp->state = OK;
! 525: break;
! 526: /* } */
! 527: case -8:
! 528: if (type != -1 && jp->stack[jp->top] == MODE_OBJECT)
! 529: {
! 530: zval *mval;
! 531: smart_str_0(&buf);
! 532:
! 533: json_create_zval(&mval, &buf, type);
! 534:
! 535: if (!assoc) {
! 536: add_property_zval_ex(jp->the_zstack[jp->top], (key.len ? key.c : "_empty_"), (key.len ? (key.len + 1) : sizeof("_empty_")), mval TSRMLS_CC);
! 537: Z_DELREF_P(mval);
! 538: } else {
! 539: add_assoc_zval_ex(jp->the_zstack[jp->top], (key.len ? key.c : ""), (key.len ? (key.len + 1) : sizeof("")), mval);
! 540: }
! 541: key.len = 0;
! 542: buf.len = 0;
! 543: JSON_RESET_TYPE();
! 544: }
! 545:
! 546:
! 547: if (!pop(jp, MODE_OBJECT)) {
! 548: FREE_BUFFERS();
! 549: return false;
! 550: }
! 551: jp->state = OK;
! 552: break;
! 553: /* ] */
! 554: case -7:
! 555: {
! 556: if (type != -1 && jp->stack[jp->top] == MODE_ARRAY)
! 557: {
! 558: zval *mval;
! 559: smart_str_0(&buf);
! 560:
! 561: json_create_zval(&mval, &buf, type);
! 562: add_next_index_zval(jp->the_zstack[jp->top], mval);
! 563: buf.len = 0;
! 564: JSON_RESET_TYPE();
! 565: }
! 566:
! 567: if (!pop(jp, MODE_ARRAY)) {
! 568: FREE_BUFFERS();
! 569: return false;
! 570: }
! 571: jp->state = OK;
! 572: }
! 573: break;
! 574: /* { */
! 575: case -6:
! 576: if (!push(jp, MODE_KEY)) {
! 577: FREE_BUFFERS();
! 578: return false;
! 579: }
! 580:
! 581: jp->state = OB;
! 582: if (jp->top > 0) {
! 583: zval *obj;
! 584:
! 585: if (jp->top == 1) {
! 586: obj = z;
! 587: } else {
! 588: ALLOC_INIT_ZVAL(obj);
! 589: }
! 590:
! 591: if (!assoc) {
! 592: object_init(obj);
! 593: } else {
! 594: array_init(obj);
! 595: }
! 596:
! 597: jp->the_zstack[jp->top] = obj;
! 598:
! 599: if (jp->top > 1) {
! 600: attach_zval(jp, jp->top - 1, jp->top, &key, assoc TSRMLS_CC);
! 601: }
! 602:
! 603: JSON_RESET_TYPE();
! 604: }
! 605:
! 606: break;
! 607: /* [ */
! 608: case -5:
! 609: if (!push(jp, MODE_ARRAY)) {
! 610: FREE_BUFFERS();
! 611: return false;
! 612: }
! 613: jp->state = AR;
! 614:
! 615: if (jp->top > 0) {
! 616: zval *arr;
! 617:
! 618: if (jp->top == 1) {
! 619: arr = z;
! 620: } else {
! 621: ALLOC_INIT_ZVAL(arr);
! 622: }
! 623:
! 624: array_init(arr);
! 625: jp->the_zstack[jp->top] = arr;
! 626:
! 627: if (jp->top > 1) {
! 628: attach_zval(jp, jp->top - 1, jp->top, &key, assoc TSRMLS_CC);
! 629: }
! 630:
! 631: JSON_RESET_TYPE();
! 632: }
! 633:
! 634: break;
! 635:
! 636: /* " */
! 637: case -4:
! 638: switch (jp->stack[jp->top]) {
! 639: case MODE_KEY:
! 640: jp->state = CO;
! 641: smart_str_0(&buf);
! 642: SWAP_BUFFERS(buf, key);
! 643: JSON_RESET_TYPE();
! 644: break;
! 645: case MODE_ARRAY:
! 646: case MODE_OBJECT:
! 647: jp->state = OK;
! 648: break;
! 649: case MODE_DONE:
! 650: if (type == IS_STRING) {
! 651: smart_str_0(&buf);
! 652: ZVAL_STRINGL(z, buf.c, buf.len, 1);
! 653: jp->state = OK;
! 654: break;
! 655: }
! 656: /* fall through if not IS_STRING */
! 657: default:
! 658: FREE_BUFFERS();
! 659: jp->error_code = PHP_JSON_ERROR_SYNTAX;
! 660: return false;
! 661: }
! 662: break;
! 663: /* , */
! 664: case -3:
! 665: {
! 666: zval *mval;
! 667:
! 668: if (type != -1 &&
! 669: (jp->stack[jp->top] == MODE_OBJECT ||
! 670: jp->stack[jp->top] == MODE_ARRAY))
! 671: {
! 672: smart_str_0(&buf);
! 673: json_create_zval(&mval, &buf, type);
! 674: }
! 675:
! 676: switch (jp->stack[jp->top]) {
! 677: case MODE_OBJECT:
! 678: if (pop(jp, MODE_OBJECT) && push(jp, MODE_KEY)) {
! 679: if (type != -1) {
! 680: if (!assoc) {
! 681: add_property_zval_ex(jp->the_zstack[jp->top], (key.len ? key.c : "_empty_"), (key.len ? (key.len + 1) : sizeof("_empty_")), mval TSRMLS_CC);
! 682: Z_DELREF_P(mval);
! 683: } else {
! 684: add_assoc_zval_ex(jp->the_zstack[jp->top], (key.len ? key.c : ""), (key.len ? (key.len + 1) : sizeof("")), mval);
! 685: }
! 686: key.len = 0;
! 687: }
! 688: jp->state = KE;
! 689: }
! 690: break;
! 691: case MODE_ARRAY:
! 692: if (type != -1) {
! 693: add_next_index_zval(jp->the_zstack[jp->top], mval);
! 694: }
! 695: jp->state = VA;
! 696: break;
! 697: default:
! 698: FREE_BUFFERS();
! 699: jp->error_code = PHP_JSON_ERROR_SYNTAX;
! 700: return false;
! 701: }
! 702: buf.len = 0;
! 703: JSON_RESET_TYPE();
! 704: }
! 705: break;
! 706: /* : */
! 707: case -2:
! 708: if (pop(jp, MODE_KEY) && push(jp, MODE_OBJECT)) {
! 709: jp->state = VA;
! 710: break;
! 711: }
! 712: /*
! 713: syntax error
! 714: */
! 715: default:
! 716: {
! 717: jp->error_code = PHP_JSON_ERROR_SYNTAX;
! 718: FREE_BUFFERS();
! 719: return false;
! 720: }
! 721: }
! 722: }
! 723: }
! 724:
! 725: FREE_BUFFERS();
! 726: if (jp->state == OK && pop(jp, MODE_DONE)) {
! 727: return true;
! 728: }
! 729:
! 730: jp->error_code = PHP_JSON_ERROR_SYNTAX;
! 731: return false;
! 732: }
! 733:
! 734:
! 735: /*
! 736: * Local variables:
! 737: * tab-width: 4
! 738: * c-basic-offset: 4
! 739: * End:
! 740: * vim600: noet sw=4 ts=4
! 741: * vim<600: noet sw=4 ts=4
! 742: */
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>