xref: /PHP-5.4/ext/json/JSON_parser.c (revision 9b567fea)
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
push(JSON_parser jp,int mode)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
pop(JSON_parser jp,int mode)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
new_JSON_parser(int depth)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
free_JSON_parser(JSON_parser jp)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 
dehexchar(char c)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 
json_create_zval(zval ** z,smart_str * buf,int type,int options)294 static void json_create_zval(zval **z, smart_str *buf, int type, int options)
295 {
296     ALLOC_INIT_ZVAL(*z);
297 
298     if (type == IS_LONG)
299     {
300 		zend_bool bigint = 0;
301 
302 		if (buf->c[0] == '-') {
303 			buf->len--;
304 		}
305 
306 		if (buf->len >= MAX_LENGTH_OF_LONG - 1) {
307 			if (buf->len == MAX_LENGTH_OF_LONG - 1) {
308 				int cmp = strcmp(buf->c + (buf->c[0] == '-'), long_min_digits);
309 
310 				if (!(cmp < 0 || (cmp == 0 && buf->c[0] == '-'))) {
311 					bigint = 1;
312 				}
313 			} else {
314 				bigint = 1;
315 			}
316 		}
317 
318 		if (bigint) {
319 			/* value too large to represent as a long */
320 			if (options & PHP_JSON_BIGINT_AS_STRING) {
321 				if (buf->c[0] == '-') {
322 					/* Restore last char consumed above */
323 					buf->len++;
324 				}
325 				goto use_string;
326 			} else {
327 				goto use_double;
328 			}
329 		}
330 
331 		ZVAL_LONG(*z, strtol(buf->c, NULL, 10));
332     }
333     else if (type == IS_DOUBLE)
334     {
335 use_double:
336         ZVAL_DOUBLE(*z, zend_strtod(buf->c, NULL));
337     }
338     else if (type == IS_STRING)
339     {
340 use_string:
341         ZVAL_STRINGL(*z, buf->c, buf->len, 1);
342     }
343     else if (type == IS_BOOL)
344     {
345         ZVAL_BOOL(*z, (*(buf->c) == 't'));
346     }
347     else /* type == IS_NULL) || type unknown */
348     {
349         ZVAL_NULL(*z);
350     }
351 }
352 
353 
utf16_to_utf8(smart_str * buf,unsigned short utf16)354 static void utf16_to_utf8(smart_str *buf, unsigned short utf16)
355 {
356     if (utf16 < 0x80)
357     {
358         smart_str_appendc(buf, (unsigned char) utf16);
359     }
360     else if (utf16 < 0x800)
361     {
362         smart_str_appendc(buf, 0xc0 | (utf16 >> 6));
363         smart_str_appendc(buf, 0x80 | (utf16 & 0x3f));
364     }
365     else if ((utf16 & 0xfc00) == 0xdc00
366                 && buf->len >= 3
367                 && ((unsigned char) buf->c[buf->len - 3]) == 0xed
368                 && ((unsigned char) buf->c[buf->len - 2] & 0xf0) == 0xa0
369                 && ((unsigned char) buf->c[buf->len - 1] & 0xc0) == 0x80)
370     {
371         /* found surrogate pair */
372         unsigned long utf32;
373 
374         utf32 = (((buf->c[buf->len - 2] & 0xf) << 16)
375                     | ((buf->c[buf->len - 1] & 0x3f) << 10)
376                     | (utf16 & 0x3ff)) + 0x10000;
377         buf->len -= 3;
378 
379         smart_str_appendc(buf, (unsigned char) (0xf0 | (utf32 >> 18)));
380         smart_str_appendc(buf, 0x80 | ((utf32 >> 12) & 0x3f));
381         smart_str_appendc(buf, 0x80 | ((utf32 >> 6) & 0x3f));
382         smart_str_appendc(buf, 0x80 | (utf32 & 0x3f));
383     }
384     else
385     {
386         smart_str_appendc(buf, 0xe0 | (utf16 >> 12));
387         smart_str_appendc(buf, 0x80 | ((utf16 >> 6) & 0x3f));
388         smart_str_appendc(buf, 0x80 | (utf16 & 0x3f));
389     }
390 }
391 
attach_zval(JSON_parser jp,int up,int cur,smart_str * key,int assoc TSRMLS_DC)392 static void attach_zval(JSON_parser jp, int up, int cur, smart_str *key, int assoc TSRMLS_DC)
393 {
394     zval *root = jp->the_zstack[up];
395     zval *child =  jp->the_zstack[cur];
396     int up_mode = jp->stack[up];
397 
398     if (up_mode == MODE_ARRAY)
399     {
400         add_next_index_zval(root, child);
401     }
402     else if (up_mode == MODE_OBJECT)
403     {
404         if (!assoc)
405         {
406             add_property_zval_ex(root, (key->len ? key->c : "_empty_"), (key->len ? (key->len + 1) : sizeof("_empty_")), child TSRMLS_CC);
407             Z_DELREF_P(child);
408         }
409         else
410         {
411             add_assoc_zval_ex(root, (key->len ? key->c : ""), (key->len ? (key->len + 1) : sizeof("")), child);
412         }
413         key->len = 0;
414     }
415 }
416 
417 
418 #define FREE_BUFFERS() smart_str_free(&buf); smart_str_free(&key);
419 #define SWAP_BUFFERS(from, to) do { \
420         char *t1 = from.c; \
421         int t2 = from.a; \
422         from.c = to.c; \
423         from.a = to.a; \
424         to.c = t1; \
425         to.a = t2; \
426         to.len = from.len; \
427         from.len = 0; \
428         } while(0);
429 #define JSON_RESET_TYPE() type = -1;
430 
431 /*
432     The JSON_parser takes a UTF-16 encoded string and determines if it is a
433     syntactically correct JSON text. Along the way, it creates a PHP variable.
434 
435     It is implemented as a Pushdown Automaton; that means it is a finite state
436     machine with a stack.
437 */
438 int
parse_JSON_ex(JSON_parser jp,zval * z,unsigned short utf16_json[],int length,int options TSRMLS_DC)439 parse_JSON_ex(JSON_parser jp, zval *z, unsigned short utf16_json[], int length, int options TSRMLS_DC)
440 {
441     int next_char;  /* the next character */
442     int next_class;  /* the next character class */
443     int next_state;  /* the next state */
444     int the_index;
445     int assoc = options & PHP_JSON_OBJECT_AS_ARRAY;
446 
447     smart_str buf = {0};
448     smart_str key = {0};
449 
450     unsigned short utf16 = 0;
451     int type;
452 
453 	JSON_RESET_TYPE();
454 
455     for (the_index = 0; the_index < length; the_index += 1) {
456         next_char = utf16_json[the_index];
457 		if (next_char >= 128) {
458 			next_class = C_ETC;
459 		} else {
460 			next_class = ascii_class[next_char];
461 			if (next_class <= __) {
462 				jp->error_code = PHP_JSON_ERROR_CTRL_CHAR;
463 				FREE_BUFFERS();
464 				return false;
465 			}
466 		}
467 /*
468     Get the next state from the transition table.
469 */
470         next_state = state_transition_table[jp->state][next_class];
471         if (next_state >= 0) {
472 /*
473     Change the state and iterate
474 */
475 			if (type == IS_STRING) {
476 	            if (next_state == ST && jp->state != U4) {
477 	                if (jp->state != ES) {
478 	                    utf16_to_utf8(&buf, next_char);
479 	                } else {
480 	                    switch (next_char) {
481 	                        case 'b':
482 	                            smart_str_appendc(&buf, '\b');
483 	                            break;
484 	                        case 't':
485 	                            smart_str_appendc(&buf, '\t');
486 	                            break;
487 	                        case 'n':
488 	                            smart_str_appendc(&buf, '\n');
489 	                            break;
490 	                        case 'f':
491 	                            smart_str_appendc(&buf, '\f');
492 	                            break;
493 	                        case 'r':
494 	                            smart_str_appendc(&buf, '\r');
495 	                            break;
496 	                        default:
497 	                            utf16_to_utf8(&buf, next_char);
498 	                            break;
499 	                    }
500 	                }
501 	            } else if (next_state == U2) {
502 	                utf16 = dehexchar(next_char) << 12;
503 	            } else if (next_state == U3) {
504 	                utf16 += dehexchar(next_char) << 8;
505 	            } else if (next_state == U4) {
506 	                utf16 += dehexchar(next_char) << 4;
507 	            } else if (next_state == ST && jp->state == U4) {
508 	                utf16 += dehexchar(next_char);
509 	                utf16_to_utf8(&buf, utf16);
510 	            }
511 	        } else if (type < IS_LONG && (next_class == C_DIGIT || next_class == C_ZERO)) {
512 	            type = IS_LONG;
513 	            smart_str_appendc(&buf, next_char);
514 	        } else if (type == IS_LONG && next_state == E1) {
515 	            type = IS_DOUBLE;
516 	            smart_str_appendc(&buf, next_char);
517 	        } else if (type < IS_DOUBLE && next_class == C_POINT) {
518 	            type = IS_DOUBLE;
519 	            smart_str_appendc(&buf, next_char);
520 	        } else if (type < IS_STRING && next_class == C_QUOTE) {
521 	            type = IS_STRING;
522 	        } else if (type < IS_BOOL && ((jp->state == T3 && next_state == OK) || (jp->state == F4 && next_state == OK))) {
523 	            type = IS_BOOL;
524 	        } else if (type < IS_NULL && jp->state == N3 && next_state == OK) {
525 	            type = IS_NULL;
526 	        } else if (type != IS_STRING && next_class > C_WHITE) {
527 	            utf16_to_utf8(&buf, next_char);
528 	        }
529         	jp->state = next_state;
530 		} else {
531 /*
532     Perform one of the predefined actions.
533 */
534             switch (next_state) {
535 /* empty } */
536             case -9:
537                 if (!pop(jp, MODE_KEY)) {
538                     FREE_BUFFERS();
539                     return false;
540                 }
541                 jp->state = OK;
542                 break;
543 /* } */
544             case -8:
545                 if (type != -1 && jp->stack[jp->top] == MODE_OBJECT)
546                 {
547                     zval *mval;
548                     smart_str_0(&buf);
549 
550                     json_create_zval(&mval, &buf, type, options);
551 
552                     if (!assoc) {
553                         add_property_zval_ex(jp->the_zstack[jp->top], (key.len ? key.c : "_empty_"), (key.len ? (key.len + 1) : sizeof("_empty_")), mval TSRMLS_CC);
554                         Z_DELREF_P(mval);
555                     } else {
556                         add_assoc_zval_ex(jp->the_zstack[jp->top], (key.len ? key.c : ""), (key.len ? (key.len + 1) : sizeof("")), mval);
557                     }
558                     key.len = 0;
559                     buf.len = 0;
560                     JSON_RESET_TYPE();
561                 }
562 
563 
564                 if (!pop(jp, MODE_OBJECT)) {
565                     FREE_BUFFERS();
566                     return false;
567                 }
568                 jp->state = OK;
569                 break;
570 /* ] */
571             case -7:
572             {
573                 if (type != -1 && jp->stack[jp->top] == MODE_ARRAY)
574                 {
575                     zval *mval;
576                     smart_str_0(&buf);
577 
578                     json_create_zval(&mval, &buf, type, options);
579                     add_next_index_zval(jp->the_zstack[jp->top], mval);
580                     buf.len = 0;
581                     JSON_RESET_TYPE();
582                 }
583 
584                 if (!pop(jp, MODE_ARRAY)) {
585                     FREE_BUFFERS();
586                     return false;
587                 }
588                 jp->state = OK;
589             }
590 			break;
591 /* { */
592             case -6:
593                 if (!push(jp, MODE_KEY)) {
594                     FREE_BUFFERS();
595                     return false;
596                 }
597 
598                 jp->state = OB;
599                 if (jp->top > 0) {
600                     zval *obj;
601 
602                     if (jp->top == 1) {
603                         obj = z;
604                   	} else {
605                         ALLOC_INIT_ZVAL(obj);
606                     }
607 
608                     if (!assoc) {
609                         object_init(obj);
610                     } else {
611                         array_init(obj);
612                     }
613 
614                     jp->the_zstack[jp->top] = obj;
615 
616                     if (jp->top > 1) {
617                         attach_zval(jp, jp->top - 1, jp->top, &key, assoc TSRMLS_CC);
618                     }
619 
620                     JSON_RESET_TYPE();
621                 }
622 
623                 break;
624 /* [ */
625             case -5:
626                 if (!push(jp, MODE_ARRAY)) {
627                     FREE_BUFFERS();
628                     return false;
629                 }
630                 jp->state = AR;
631 
632                 if (jp->top > 0) {
633                     zval *arr;
634 
635                     if (jp->top == 1) {
636                         arr = z;
637                     } else {
638                         ALLOC_INIT_ZVAL(arr);
639                     }
640 
641                     array_init(arr);
642                     jp->the_zstack[jp->top] = arr;
643 
644                     if (jp->top > 1) {
645                         attach_zval(jp, jp->top - 1, jp->top, &key, assoc TSRMLS_CC);
646                     }
647 
648                     JSON_RESET_TYPE();
649                 }
650 
651                 break;
652 
653 /* " */
654             case -4:
655                 switch (jp->stack[jp->top]) {
656                 case MODE_KEY:
657                     jp->state = CO;
658                     smart_str_0(&buf);
659                     SWAP_BUFFERS(buf, key);
660                     JSON_RESET_TYPE();
661                     break;
662                 case MODE_ARRAY:
663                 case MODE_OBJECT:
664                     jp->state = OK;
665                     break;
666 				case MODE_DONE:
667 					if (type == IS_STRING) {
668 						smart_str_0(&buf);
669 						ZVAL_STRINGL(z, buf.c, buf.len, 1);
670 						jp->state = OK;
671 						break;
672 					}
673 					/* fall through if not IS_STRING */
674                 default:
675                     FREE_BUFFERS();
676                     jp->error_code = PHP_JSON_ERROR_SYNTAX;
677                     return false;
678                 }
679                 break;
680 /* , */
681             case -3:
682             {
683                 zval *mval;
684 
685                 if (type != -1 &&
686                     (jp->stack[jp->top] == MODE_OBJECT ||
687                      jp->stack[jp->top] == MODE_ARRAY))
688                 {
689                     smart_str_0(&buf);
690                     json_create_zval(&mval, &buf, type, options);
691                 }
692 
693                 switch (jp->stack[jp->top]) {
694                     case MODE_OBJECT:
695                         if (pop(jp, MODE_OBJECT) && push(jp, MODE_KEY)) {
696                             if (type != -1) {
697                                 if (!assoc) {
698                                     add_property_zval_ex(jp->the_zstack[jp->top], (key.len ? key.c : "_empty_"), (key.len ? (key.len + 1) : sizeof("_empty_")), mval TSRMLS_CC);
699                                     Z_DELREF_P(mval);
700                                 } else {
701                                     add_assoc_zval_ex(jp->the_zstack[jp->top], (key.len ? key.c : ""), (key.len ? (key.len + 1) : sizeof("")), mval);
702                                 }
703                                 key.len = 0;
704                             }
705                             jp->state = KE;
706                         }
707                         break;
708                     case MODE_ARRAY:
709                         if (type != -1) {
710                             add_next_index_zval(jp->the_zstack[jp->top], mval);
711                         }
712                         jp->state = VA;
713                         break;
714                     default:
715                         FREE_BUFFERS();
716                         jp->error_code = PHP_JSON_ERROR_SYNTAX;
717                         return false;
718                 }
719                 buf.len = 0;
720                 JSON_RESET_TYPE();
721             }
722             break;
723 /* : */
724             case -2:
725                 if (pop(jp, MODE_KEY) && push(jp, MODE_OBJECT)) {
726                     jp->state = VA;
727                     break;
728                 }
729 /*
730     syntax error
731 */
732             default:
733                 {
734 					jp->error_code = PHP_JSON_ERROR_SYNTAX;
735                     FREE_BUFFERS();
736                     return false;
737                 }
738             }
739         }
740     }
741 
742     FREE_BUFFERS();
743 	if (jp->state == OK && pop(jp, MODE_DONE)) {
744 		return true;
745 	}
746 
747 	jp->error_code = PHP_JSON_ERROR_SYNTAX;
748 	return false;
749 }
750 
751 
752 /*
753  * Local variables:
754  * tab-width: 4
755  * c-basic-offset: 4
756  * End:
757  * vim600: noet sw=4 ts=4
758  * vim<600: noet sw=4 ts=4
759  */
760