gdx/src/com/badlogic/gdx/utils/JsonReader.java - platform/external/libgdx - Git at Google

 // line 1 "JsonReader.rl"
 // Do not edit this file! Generated by Ragel.
 // Ragel.exe -G2 -J -o JsonReader.java JsonReader.rl
 /*******************************************************************************
  * Copyright 2011 See AUTHORS file.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
  * You may obtain a copy of the License at
  *
  *   http://www.apache.org/licenses/LICENSE-2.0
  *
  * Unless required by applicable law or agreed to in writing, software
  * distributed under the License is distributed on an "AS IS" BASIS,
  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  * See the License for the specific language governing permissions and
  * limitations under the License.
  ******************************************************************************/

 package com.badlogic.gdx.utils;

 import java.io.IOException;
 import java.io.InputStream;
 import java.io.InputStreamReader;
 import java.io.Reader;

 import com.badlogic.gdx.files.FileHandle;
 import com.badlogic.gdx.utils.JsonValue.ValueType;

 /** Lightweight JSON parser.<br>
  * <br>
  * The default behavior is to parse the JSON into a DOM containing {@link JsonValue} objects. Extend this class and override
  * methods to perform event driven parsing. When this is done, the parse methods will return null.
  * @author Nathan Sweet */
 public class JsonReader implements BaseJsonReader {
 	public JsonValue parse (String json) {
 		char[] data = json.toCharArray();
 		return parse(data, 0, data.length);
 	}

 	public JsonValue parse (Reader reader) {
 		try {
 			char[] data = new char[1024];
 			int offset = 0;
 			while (true) {
 				int length = reader.read(data, offset, data.length - offset);
 				if (length == -1) break;
 				if (length == 0) {
 					char[] newData = new char[data.length * 2];
 					System.arraycopy(data, 0, newData, 0, data.length);
 					data = newData;
 				} else
 					offset += length;
 			}
 			return parse(data, 0, offset);
 		} catch (IOException ex) {
 			throw new SerializationException(ex);
 		} finally {
 			StreamUtils.closeQuietly(reader);
 		}
 	}

 	public JsonValue parse (InputStream input) {
 		try {
 			return parse(new InputStreamReader(input, "UTF-8"));
 		} catch (IOException ex) {
 			throw new SerializationException(ex);
 		} finally {
 			StreamUtils.closeQuietly(input);
 		}
 	}

 	public JsonValue parse (FileHandle file) {
 		try {
 			return parse(file.reader("UTF-8"));
 		} catch (Exception ex) {
 			throw new SerializationException("Error parsing file: " + file, ex);
 		}
 	}

 	public JsonValue parse (char[] data, int offset, int length) {
 		int cs, p = offset, pe = length, eof = pe, top = 0;
 		int[] stack = new int[4];

 		int s = 0;
 		Array<String> names = new Array(8);
 		boolean needsUnescape = false, stringIsName = false, stringIsUnquoted = false;
 		RuntimeException parseRuntimeEx = null;

 		boolean debug = false;
 		if (debug) System.out.println();

 		try {

 			// line 97 "JsonReader.java"
 			{
 				cs = json_start;
 				top = 0;
 			}

 			// line 103 "JsonReader.java"
 			{
 				int _klen;
 				int _trans = 0;
 				int _acts;
 				int _nacts;
 				int _keys;
 				int _goto_targ = 0;

 				_goto:
 				while (true) {
 					switch (_goto_targ) {
 					case 0:
 						if (p == pe) {
 							_goto_targ = 4;
 							continue _goto;
 						}
 						if (cs == 0) {
 							_goto_targ = 5;
 							continue _goto;
 						}
 					case 1:
 						_match:
 						do {
 							_keys = _json_key_offsets[cs];
 							_trans = _json_index_offsets[cs];
 							_klen = _json_single_lengths[cs];
 							if (_klen > 0) {
 								int _lower = _keys;
 								int _mid;
 								int _upper = _keys + _klen - 1;
 								while (true) {
 									if (_upper < _lower) break;

 									_mid = _lower + ((_upper - _lower) >> 1);
 									if (data[p] < _json_trans_keys[_mid])
 										_upper = _mid - 1;
 									else if (data[p] > _json_trans_keys[_mid])
 										_lower = _mid + 1;
 									else {
 										_trans += (_mid - _keys);
 										break _match;
 									}
 								}
 								_keys += _klen;
 								_trans += _klen;
 							}

 							_klen = _json_range_lengths[cs];
 							if (_klen > 0) {
 								int _lower = _keys;
 								int _mid;
 								int _upper = _keys + (_klen << 1) - 2;
 								while (true) {
 									if (_upper < _lower) break;

 									_mid = _lower + (((_upper - _lower) >> 1) & ~1);
 									if (data[p] < _json_trans_keys[_mid])
 										_upper = _mid - 2;
 									else if (data[p] > _json_trans_keys[_mid + 1])
 										_lower = _mid + 2;
 									else {
 										_trans += ((_mid - _keys) >> 1);
 										break _match;
 									}
 								}
 								_trans += _klen;
 							}
 						} while (false);

 						_trans = _json_indicies[_trans];
 						cs = _json_trans_targs[_trans];

 						if (_json_trans_actions[_trans] != 0) {
 							_acts = _json_trans_actions[_trans];
 							_nacts = (int)_json_actions[_acts++];
 							while (_nacts-- > 0) {
 								switch (_json_actions[_acts++]) {
 								case 0:
 								// line 104 "JsonReader.rl"
 								{
 									stringIsName = true;
 								}
 									break;
 								case 1:
 								// line 107 "JsonReader.rl"
 								{
 									String value = new String(data, s, p - s);
 									if (needsUnescape) value = unescape(value);
 									outer:
 									if (stringIsName) {
 										stringIsName = false;
 										if (debug) System.out.println("name: " + value);
 										names.add(value);
 									} else {
 										String name = names.size > 0 ? names.pop() : null;
 										if (stringIsUnquoted) {
 											if (value.equals("true")) {
 												if (debug) System.out.println("boolean: " + name + "=true");
 												bool(name, true);
 												break outer;
 											} else if (value.equals("false")) {
 												if (debug) System.out.println("boolean: " + name + "=false");
 												bool(name, false);
 												break outer;
 											} else if (value.equals("null")) {
 												string(name, null);
 												break outer;
 											}
 											boolean couldBeDouble = false, couldBeLong = true;
 											outer2:
 											for (int i = s; i < p; i++) {
 												switch (data[i]) {
 												case '0':
 												case '1':
 												case '2':
 												case '3':
 												case '4':
 												case '5':
 												case '6':
 												case '7':
 												case '8':
 												case '9':
 												case '-':
 												case '+':
 													break;
 												case '.':
 												case 'e':
 												case 'E':
 													couldBeDouble = true;
 													couldBeLong = false;
 													break;
 												default:
 													couldBeDouble = false;
 													couldBeLong = false;
 													break outer2;
 												}
 											}
 											if (couldBeDouble) {
 												try {
 													if (debug) System.out.println("double: " + name + "=" + Double.parseDouble(value));
 													number(name, Double.parseDouble(value), value);
 													break outer;
 												} catch (NumberFormatException ignored) {
 												}
 											} else if (couldBeLong) {
 												if (debug) System.out.println("double: " + name + "=" + Double.parseDouble(value));
 												try {
 													number(name, Long.parseLong(value), value);
 													break outer;
 												} catch (NumberFormatException ignored) {
 												}
 											}
 										}
 										if (debug) System.out.println("string: " + name + "=" + value);
 										string(name, value);
 									}
 									stringIsUnquoted = false;
 									s = p;
 								}
 									break;
 								case 2:
 								// line 181 "JsonReader.rl"
 								{
 									String name = names.size > 0 ? names.pop() : null;
 									if (debug) System.out.println("startObject: " + name);
 									startObject(name);
 									{
 										if (top == stack.length) {
 											int[] newStack = new int[stack.length * 2];
 											System.arraycopy(stack, 0, newStack, 0, stack.length);
 											stack = newStack;
 										}
 										{
 											stack[top++] = cs;
 											cs = 5;
 											_goto_targ = 2;
 											if (true) continue _goto;
 										}
 									}
 								}
 									break;
 								case 3:
 								// line 187 "JsonReader.rl"
 								{
 									if (debug) System.out.println("endObject");
 									pop();
 									{
 										cs = stack[--top];
 										_goto_targ = 2;
 										if (true) continue _goto;
 									}
 								}
 									break;
 								case 4:
 								// line 192 "JsonReader.rl"
 								{
 									String name = names.size > 0 ? names.pop() : null;
 									if (debug) System.out.println("startArray: " + name);
 									startArray(name);
 									{
 										if (top == stack.length) {
 											int[] newStack = new int[stack.length * 2];
 											System.arraycopy(stack, 0, newStack, 0, stack.length);
 											stack = newStack;
 										}
 										{
 											stack[top++] = cs;
 											cs = 23;
 											_goto_targ = 2;
 											if (true) continue _goto;
 										}
 									}
 								}
 									break;
 								case 5:
 								// line 198 "JsonReader.rl"
 								{
 									if (debug) System.out.println("endArray");
 									pop();
 									{
 										cs = stack[--top];
 										_goto_targ = 2;
 										if (true) continue _goto;
 									}
 								}
 									break;
 								case 6:
 								// line 203 "JsonReader.rl"
 								{
 									int start = p - 1;
 									if (data[p++] == '/') {
 										while (p != eof && data[p] != '\n')
 											p++;
 										p--;
 									} else {
 										while (p + 1 < eof && data[p] != '*' || data[p + 1] != '/')
 											p++;
 										p++;
 									}
 									if (debug) System.out.println("comment " + new String(data, start, p - start));
 								}
 									break;
 								case 7:
 								// line 216 "JsonReader.rl"
 								{
 									if (debug) System.out.println("unquotedChars");
 									s = p;
 									needsUnescape = false;
 									stringIsUnquoted = true;
 									if (stringIsName) {
 										outer:
 										while (true) {
 											switch (data[p]) {
 											case '\\':
 												needsUnescape = true;
 												break;
 											case '/':
 												if (p + 1 == eof) break;
 												char c = data[p + 1];
 												if (c == '/' || c == '*') break outer;
 												break;
 											case ':':
 											case '\r':
 											case '\n':
 												break outer;
 											}
 											if (debug) System.out.println("unquotedChar (name): '" + data[p] + "'");
 											p++;
 											if (p == eof) break;
 										}
 									} else {
 										outer:
 										while (true) {
 											switch (data[p]) {
 											case '\\':
 												needsUnescape = true;
 												break;
 											case '/':
 												if (p + 1 == eof) break;
 												char c = data[p + 1];
 												if (c == '/' || c == '*') break outer;
 												break;
 											case '}':
 											case ']':
 											case ',':
 											case '\r':
 											case '\n':
 												break outer;
 											}
 											if (debug) System.out.println("unquotedChar (value): '" + data[p] + "'");
 											p++;
 											if (p == eof) break;
 										}
 									}
 									p--;
 									while (Character.isSpace(data[p]))
 										p--;
 								}
 									break;
 								case 8:
 								// line 270 "JsonReader.rl"
 								{
 									if (debug) System.out.println("quotedChars");
 									s = ++p;
 									needsUnescape = false;
 									outer:
 									while (true) {
 										switch (data[p]) {
 										case '\\':
 											needsUnescape = true;
 											p++;
 											break;
 										case '"':
 											break outer;
 										}
 										// if (debug) System.out.println("quotedChar: '" + data[p] + "'");
 										p++;
 										if (p == eof) break;
 									}
 									p--;
 								}
 									break;
 								// line 408 "JsonReader.java"
 								}
 							}
 						}

 					case 2:
 						if (cs == 0) {
 							_goto_targ = 5;
 							continue _goto;
 						}
 						if (++p != pe) {
 							_goto_targ = 1;
 							continue _goto;
 						}
 					case 4:
 						if (p == eof) {
 							int __acts = _json_eof_actions[cs];
 							int __nacts = (int)_json_actions[__acts++];
 							while (__nacts-- > 0) {
 								switch (_json_actions[__acts++]) {
 								case 1:
 								// line 107 "JsonReader.rl"
 								{
 									String value = new String(data, s, p - s);
 									if (needsUnescape) value = unescape(value);
 									outer:
 									if (stringIsName) {
 										stringIsName = false;
 										if (debug) System.out.println("name: " + value);
 										names.add(value);
 									} else {
 										String name = names.size > 0 ? names.pop() : null;
 										if (stringIsUnquoted) {
 											if (value.equals("true")) {
 												if (debug) System.out.println("boolean: " + name + "=true");
 												bool(name, true);
 												break outer;
 											} else if (value.equals("false")) {
 												if (debug) System.out.println("boolean: " + name + "=false");
 												bool(name, false);
 												break outer;
 											} else if (value.equals("null")) {
 												string(name, null);
 												break outer;
 											}
 											boolean couldBeDouble = false, couldBeLong = true;
 											outer2:
 											for (int i = s; i < p; i++) {
 												switch (data[i]) {
 												case '0':
 												case '1':
 												case '2':
 												case '3':
 												case '4':
 												case '5':
 												case '6':
 												case '7':
 												case '8':
 												case '9':
 												case '-':
 												case '+':
 													break;
 												case '.':
 												case 'e':
 												case 'E':
 													couldBeDouble = true;
 													couldBeLong = false;
 													break;
 												default:
 													couldBeDouble = false;
 													couldBeLong = false;
 													break outer2;
 												}
 											}
 											if (couldBeDouble) {
 												try {
 													if (debug) System.out.println("double: " + name + "=" + Double.parseDouble(value));
 													number(name, Double.parseDouble(value), value);
 													break outer;
 												} catch (NumberFormatException ignored) {
 												}
 											} else if (couldBeLong) {
 												if (debug) System.out.println("double: " + name + "=" + Double.parseDouble(value));
 												try {
 													number(name, Long.parseLong(value), value);
 													break outer;
 												} catch (NumberFormatException ignored) {
 												}
 											}
 										}
 										if (debug) System.out.println("string: " + name + "=" + value);
 										string(name, value);
 									}
 									stringIsUnquoted = false;
 									s = p;
 								}
 									break;
 								// line 506 "JsonReader.java"
 								}
 							}
 						}

 					case 5:
 					}
 					break;
 				}
 			}

 			// line 306 "JsonReader.rl"

 		} catch (RuntimeException ex) {
 			parseRuntimeEx = ex;
 		}

 		JsonValue root = this.root;
 		this.root = null;
 		current = null;
 		lastChild.clear();

 		if (p < pe) {
 			int lineNumber = 1;
 			for (int i = 0; i < p; i++)
 				if (data[i] == '\n') lineNumber++;
 			int start = Math.max(0, p - 32);
 			throw new SerializationException("Error parsing JSON on line " + lineNumber + " near: "
 				+ new String(data, start, p - start) + "*ERROR*" + new String(data, p, Math.min(64, pe - p)), parseRuntimeEx);
 		} else if (elements.size != 0) {
 			JsonValue element = elements.peek();
 			elements.clear();
 			if (element != null && element.isObject())
 				throw new SerializationException("Error parsing JSON, unmatched brace.");
 			else
 				throw new SerializationException("Error parsing JSON, unmatched bracket.");
 		} else if (parseRuntimeEx != null) {
 			throw new SerializationException("Error parsing JSON: " + new String(data), parseRuntimeEx);
 		}
 		return root;
 	}

 	// line 548 "JsonReader.java"
 	private static byte[] init__json_actions_0 () {
 		return new byte[] {0, 1, 1, 1, 2, 1, 3, 1, 4, 1, 5, 1, 6, 1, 7, 1, 8, 2, 0, 7, 2, 0, 8, 2, 1, 3, 2, 1, 5};
 	}

 	private static final byte _json_actions[] = init__json_actions_0();

 	private static short[] init__json_key_offsets_0 () {
 		return new short[] {0, 0, 11, 13, 14, 16, 25, 31, 37, 39, 50, 57, 64, 73, 74, 83, 85, 87, 96, 98, 100, 101, 103, 105, 116,
 			123, 130, 141, 142, 153, 155, 157, 168, 170, 172, 174, 179, 184, 184};
 	}

 	private static final short _json_key_offsets[] = init__json_key_offsets_0();

 	private static char[] init__json_trans_keys_0 () {
 		return new char[] {13, 32, 34, 44, 47, 58, 91, 93, 123, 9, 10, 42, 47, 34, 42, 47, 13, 32, 34, 44, 47, 58, 125, 9, 10, 13,
 			32, 47, 58, 9, 10, 13, 32, 47, 58, 9, 10, 42, 47, 13, 32, 34, 44, 47, 58, 91, 93, 123, 9, 10, 9, 10, 13, 32, 44, 47, 125,
 			9, 10, 13, 32, 44, 47, 125, 13, 32, 34, 44, 47, 58, 125, 9, 10, 34, 13, 32, 34, 44, 47, 58, 125, 9, 10, 42, 47, 42, 47,
 			13, 32, 34, 44, 47, 58, 125, 9, 10, 42, 47, 42, 47, 34, 42, 47, 42, 47, 13, 32, 34, 44, 47, 58, 91, 93, 123, 9, 10, 9,
 			10, 13, 32, 44, 47, 93, 9, 10, 13, 32, 44, 47, 93, 13, 32, 34, 44, 47, 58, 91, 93, 123, 9, 10, 34, 13, 32, 34, 44, 47,
 			58, 91, 93, 123, 9, 10, 42, 47, 42, 47, 13, 32, 34, 44, 47, 58, 91, 93, 123, 9, 10, 42, 47, 42, 47, 42, 47, 13, 32, 47,
 			9, 10, 13, 32, 47, 9, 10, 0};
 	}

 	private static final char _json_trans_keys[] = init__json_trans_keys_0();

 	private static byte[] init__json_single_lengths_0 () {
 		return new byte[] {0, 9, 2, 1, 2, 7, 4, 4, 2, 9, 7, 7, 7, 1, 7, 2, 2, 7, 2, 2, 1, 2, 2, 9, 7, 7, 9, 1, 9, 2, 2, 9, 2, 2, 2,
 			3, 3, 0, 0};
 	}

 	private static final byte _json_single_lengths[] = init__json_single_lengths_0();

 	private static byte[] init__json_range_lengths_0 () {
 		return new byte[] {0, 1, 0, 0, 0, 1, 1, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0,
 			1, 1, 0, 0};
 	}

 	private static final byte _json_range_lengths[] = init__json_range_lengths_0();

 	private static short[] init__json_index_offsets_0 () {
 		return new short[] {0, 0, 11, 14, 16, 19, 28, 34, 40, 43, 54, 62, 70, 79, 81, 90, 93, 96, 105, 108, 111, 113, 116, 119, 130,
 			138, 146, 157, 159, 170, 173, 176, 187, 190, 193, 196, 201, 206, 207};
 	}

 	private static final short _json_index_offsets[] = init__json_index_offsets_0();

 	private static byte[] init__json_indicies_0 () {
 		return new byte[] {1, 1, 2, 3, 4, 3, 5, 3, 6, 1, 0, 7, 7, 3, 8, 3, 9, 9, 3, 11, 11, 12, 13, 14, 3, 15, 11, 10, 16, 16, 17,
 			18, 16, 3, 19, 19, 20, 21, 19, 3, 22, 22, 3, 21, 21, 24, 3, 25, 3, 26, 3, 27, 21, 23, 28, 29, 28, 28, 30, 31, 32, 3, 33,
 			34, 33, 33, 13, 35, 15, 3, 34, 34, 12, 36, 37, 3, 15, 34, 10, 16, 3, 36, 36, 12, 3, 38, 3, 3, 36, 10, 39, 39, 3, 40, 40,
 			3, 13, 13, 12, 3, 41, 3, 15, 13, 10, 42, 42, 3, 43, 43, 3, 28, 3, 44, 44, 3, 45, 45, 3, 47, 47, 48, 49, 50, 3, 51, 52,
 			53, 47, 46, 54, 55, 54, 54, 56, 57, 58, 3, 59, 60, 59, 59, 49, 61, 52, 3, 60, 60, 48, 62, 63, 3, 51, 52, 53, 60, 46, 54,
 			3, 62, 62, 48, 3, 64, 3, 51, 3, 53, 62, 46, 65, 65, 3, 66, 66, 3, 49, 49, 48, 3, 67, 3, 51, 52, 53, 49, 46, 68, 68, 3,
 			69, 69, 3, 70, 70, 3, 8, 8, 71, 8, 3, 72, 72, 73, 72, 3, 3, 3, 0};
 	}

 	private static final byte _json_indicies[] = init__json_indicies_0();

 	private static byte[] init__json_trans_targs_0 () {
 		return new byte[] {35, 1, 3, 0, 4, 36, 36, 36, 36, 1, 6, 5, 13, 17, 22, 37, 7, 8, 9, 7, 8, 9, 7, 10, 20, 21, 11, 11, 11, 12,
 			17, 19, 37, 11, 12, 19, 14, 16, 15, 14, 12, 18, 17, 11, 9, 5, 24, 23, 27, 31, 34, 25, 38, 25, 25, 26, 31, 33, 38, 25, 26,
 			33, 28, 30, 29, 28, 26, 32, 31, 25, 23, 2, 36, 2};
 	}

 	private static final byte _json_trans_targs[] = init__json_trans_targs_0();

 	private static byte[] init__json_trans_actions_0 () {
 		return new byte[] {13, 0, 15, 0, 0, 7, 3, 11, 1, 11, 17, 0, 20, 0, 0, 5, 1, 1, 1, 0, 0, 0, 11, 13, 15, 0, 7, 3, 1, 1, 1, 1,
 			23, 0, 0, 0, 0, 0, 0, 11, 11, 0, 11, 11, 11, 11, 13, 0, 15, 0, 0, 7, 9, 3, 1, 1, 1, 1, 26, 0, 0, 0, 0, 0, 0, 11, 11, 0,
 			11, 11, 11, 1, 0, 0};
 	}

 	private static final byte _json_trans_actions[] = init__json_trans_actions_0();

 	private static byte[] init__json_eof_actions_0 () {
 		return new byte[] {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
 			1, 0, 0, 0};
 	}

 	private static final byte _json_eof_actions[] = init__json_eof_actions_0();

 	static final int json_start = 1;
 	static final int json_first_final = 35;
 	static final int json_error = 0;

 	static final int json_en_object = 5;
 	static final int json_en_array = 23;
 	static final int json_en_main = 1;

 	// line 337 "JsonReader.rl"

 	private final Array<JsonValue> elements = new Array(8);
 	private final Array<JsonValue> lastChild = new Array(8);
 	private JsonValue root, current;

 	private void addChild (String name, JsonValue child) {
 		child.setName(name);
 		if (current == null) {
 			current = child;
 			root = child;
 		} else if (current.isArray() || current.isObject()) {
 			child.parent = current;
 			if (current.size == 0)
 				current.child = child;
 			else {
 				JsonValue last = lastChild.pop();
 				last.next = child;
 				child.prev = last;
 			}
 			lastChild.add(child);
 			current.size++;
 		} else
 			root = current;
 	}

 	protected void startObject (String name) {
 		JsonValue value = new JsonValue(ValueType.object);
 		if (current != null) addChild(name, value);
 		elements.add(value);
 		current = value;
 	}

 	protected void startArray (String name) {
 		JsonValue value = new JsonValue(ValueType.array);
 		if (current != null) addChild(name, value);
 		elements.add(value);
 		current = value;
 	}

 	protected void pop () {
 		root = elements.pop();
 		if (current.size > 0) lastChild.pop();
 		current = elements.size > 0 ? elements.peek() : null;
 	}

 	protected void string (String name, String value) {
 		addChild(name, new JsonValue(value));
 	}

 	protected void number (String name, double value, String stringValue) {
 		addChild(name, new JsonValue(value, stringValue));
 	}

 	protected void number (String name, long value, String stringValue) {
 		addChild(name, new JsonValue(value, stringValue));
 	}

 	protected void bool (String name, boolean value) {
 		addChild(name, new JsonValue(value));
 	}

 	private String unescape (String value) {
 		int length = value.length();
 		StringBuilder buffer = new StringBuilder(length + 16);
 		for (int i = 0; i < length;) {
 			char c = value.charAt(i++);
 			if (c != '\\') {
 				buffer.append(c);
 				continue;
 			}
 			if (i == length) break;
 			c = value.charAt(i++);
 			if (c == 'u') {
 				buffer.append(Character.toChars(Integer.parseInt(value.substring(i, i + 4), 16)));
 				i += 4;
 				continue;
 			}
 			switch (c) {
 			case '"':
 			case '\\':
 			case '/':
 				break;
 			case 'b':
 				c = '\b';
 				break;
 			case 'f':
 				c = '\f';
 				break;
 			case 'n':
 				c = '\n';
 				break;
 			case 'r':
 				c = '\r';
 				break;
 			case 't':
 				c = '\t';
 				break;
 			default:
 				throw new SerializationException("Illegal escaped character: \\" + c);
 			}
 			buffer.append(c);
 		}
 		return buffer.toString();
 	}
 }
	// line 1 "JsonReader.rl"
	// Do not edit this file! Generated by Ragel.
	// Ragel.exe -G2 -J -o JsonReader.java JsonReader.rl
	/*******************************************************************************
	* Copyright 2011 See AUTHORS file.
	*
	* Licensed under the Apache License, Version 2.0 (the "License");
	* you may not use this file except in compliance with the License.
	* You may obtain a copy of the License at
	*
	* http://www.apache.org/licenses/LICENSE-2.0
	*
	* Unless required by applicable law or agreed to in writing, software
	* distributed under the License is distributed on an "AS IS" BASIS,
	* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
	* See the License for the specific language governing permissions and
	* limitations under the License.
	******************************************************************************/

	package com.badlogic.gdx.utils;

	import java.io.IOException;
	import java.io.InputStream;
	import java.io.InputStreamReader;
	import java.io.Reader;

	import com.badlogic.gdx.files.FileHandle;
	import com.badlogic.gdx.utils.JsonValue.ValueType;

	/** Lightweight JSON parser.<br>
	* <br>
	* The default behavior is to parse the JSON into a DOM containing {@link JsonValue} objects. Extend this class and override
	* methods to perform event driven parsing. When this is done, the parse methods will return null.
	* @author Nathan Sweet */
	public class JsonReader implements BaseJsonReader {
	public JsonValue parse (String json) {
	char[] data = json.toCharArray();
	return parse(data, 0, data.length);
	}

	public JsonValue parse (Reader reader) {
	try {
	char[] data = new char[1024];
	int offset = 0;
	while (true) {
	int length = reader.read(data, offset, data.length - offset);
	if (length == -1) break;
	if (length == 0) {
	char[] newData = new char[data.length * 2];
	System.arraycopy(data, 0, newData, 0, data.length);
	data = newData;
	} else
	offset += length;
	}
	return parse(data, 0, offset);
	} catch (IOException ex) {
	throw new SerializationException(ex);
	} finally {
	StreamUtils.closeQuietly(reader);
	}
	}

	public JsonValue parse (InputStream input) {
	try {
	return parse(new InputStreamReader(input, "UTF-8"));
	} catch (IOException ex) {
	throw new SerializationException(ex);
	} finally {
	StreamUtils.closeQuietly(input);
	}
	}

	public JsonValue parse (FileHandle file) {
	try {
	return parse(file.reader("UTF-8"));
	} catch (Exception ex) {
	throw new SerializationException("Error parsing file: " + file, ex);
	}
	}

	public JsonValue parse (char[] data, int offset, int length) {
	int cs, p = offset, pe = length, eof = pe, top = 0;
	int[] stack = new int[4];

	int s = 0;
	Array<String> names = new Array(8);
	boolean needsUnescape = false, stringIsName = false, stringIsUnquoted = false;
	RuntimeException parseRuntimeEx = null;

	boolean debug = false;
	if (debug) System.out.println();

	try {

	// line 97 "JsonReader.java"
	{
	cs = json_start;
	top = 0;
	}

	// line 103 "JsonReader.java"
	{
	int _klen;
	int _trans = 0;
	int _acts;
	int _nacts;
	int _keys;
	int _goto_targ = 0;

	_goto:
	while (true) {
	switch (_goto_targ) {
	case 0:
	if (p == pe) {
	_goto_targ = 4;
	continue _goto;
	}
	if (cs == 0) {
	_goto_targ = 5;
	continue _goto;
	}
	case 1:
	_match:
	do {
	_keys = _json_key_offsets[cs];
	_trans = _json_index_offsets[cs];
	_klen = _json_single_lengths[cs];
	if (_klen > 0) {
	int _lower = _keys;
	int _mid;
	int _upper = _keys + _klen - 1;
	while (true) {
	if (_upper < _lower) break;

	_mid = _lower + ((_upper - _lower) >> 1);
	if (data[p] < _json_trans_keys[_mid])
	_upper = _mid - 1;
	else if (data[p] > _json_trans_keys[_mid])
	_lower = _mid + 1;
	else {
	_trans += (_mid - _keys);
	break _match;
	}
	}
	_keys += _klen;
	_trans += _klen;
	}

	_klen = _json_range_lengths[cs];
	if (_klen > 0) {
	int _lower = _keys;
	int _mid;
	int _upper = _keys + (_klen << 1) - 2;
	while (true) {
	if (_upper < _lower) break;

	_mid = _lower + (((_upper - _lower) >> 1) & ~1);
	if (data[p] < _json_trans_keys[_mid])
	_upper = _mid - 2;
	else if (data[p] > _json_trans_keys[_mid + 1])
	_lower = _mid + 2;
	else {
	_trans += ((_mid - _keys) >> 1);
	break _match;
	}
	}
	_trans += _klen;
	}
	} while (false);

	_trans = _json_indicies[_trans];
	cs = _json_trans_targs[_trans];

	if (_json_trans_actions[_trans] != 0) {
	_acts = _json_trans_actions[_trans];
	_nacts = (int)_json_actions[_acts++];
	while (_nacts-- > 0) {
	switch (_json_actions[_acts++]) {
	case 0:
	// line 104 "JsonReader.rl"
	{
	stringIsName = true;
	}
	break;
	case 1:
	// line 107 "JsonReader.rl"
	{
	String value = new String(data, s, p - s);
	if (needsUnescape) value = unescape(value);
	outer:
	if (stringIsName) {
	stringIsName = false;
	if (debug) System.out.println("name: " + value);
	names.add(value);
	} else {
	String name = names.size > 0 ? names.pop() : null;
	if (stringIsUnquoted) {
	if (value.equals("true")) {
	if (debug) System.out.println("boolean: " + name + "=true");
	bool(name, true);
	break outer;
	} else if (value.equals("false")) {
	if (debug) System.out.println("boolean: " + name + "=false");
	bool(name, false);
	break outer;
	} else if (value.equals("null")) {
	string(name, null);
	break outer;
	}
	boolean couldBeDouble = false, couldBeLong = true;
	outer2:
	for (int i = s; i < p; i++) {
	switch (data[i]) {
	case '0':
	case '1':
	case '2':
	case '3':
	case '4':
	case '5':
	case '6':
	case '7':
	case '8':
	case '9':
	case '-':
	case '+':
	break;
	case '.':
	case 'e':
	case 'E':
	couldBeDouble = true;
	couldBeLong = false;
	break;
	default:
	couldBeDouble = false;
	couldBeLong = false;
	break outer2;
	}
	}
	if (couldBeDouble) {
	try {
	if (debug) System.out.println("double: " + name + "=" + Double.parseDouble(value));
	number(name, Double.parseDouble(value), value);
	break outer;
	} catch (NumberFormatException ignored) {
	}
	} else if (couldBeLong) {
	if (debug) System.out.println("double: " + name + "=" + Double.parseDouble(value));
	try {
	number(name, Long.parseLong(value), value);
	break outer;
	} catch (NumberFormatException ignored) {
	}
	}
	}
	if (debug) System.out.println("string: " + name + "=" + value);
	string(name, value);
	}
	stringIsUnquoted = false;
	s = p;
	}
	break;
	case 2:
	// line 181 "JsonReader.rl"
	{
	String name = names.size > 0 ? names.pop() : null;
	if (debug) System.out.println("startObject: " + name);
	startObject(name);
	{
	if (top == stack.length) {
	int[] newStack = new int[stack.length * 2];
	System.arraycopy(stack, 0, newStack, 0, stack.length);
	stack = newStack;
	}
	{
	stack[top++] = cs;
	cs = 5;
	_goto_targ = 2;
	if (true) continue _goto;
	}
	}
	}
	break;
	case 3:
	// line 187 "JsonReader.rl"
	{
	if (debug) System.out.println("endObject");
	pop();
	{
	cs = stack[--top];
	_goto_targ = 2;
	if (true) continue _goto;
	}
	}
	break;
	case 4:
	// line 192 "JsonReader.rl"
	{
	String name = names.size > 0 ? names.pop() : null;
	if (debug) System.out.println("startArray: " + name);
	startArray(name);
	{
	if (top == stack.length) {
	int[] newStack = new int[stack.length * 2];
	System.arraycopy(stack, 0, newStack, 0, stack.length);
	stack = newStack;
	}
	{
	stack[top++] = cs;
	cs = 23;
	_goto_targ = 2;
	if (true) continue _goto;
	}
	}
	}
	break;
	case 5:
	// line 198 "JsonReader.rl"
	{
	if (debug) System.out.println("endArray");
	pop();
	{
	cs = stack[--top];
	_goto_targ = 2;
	if (true) continue _goto;
	}
	}
	break;
	case 6:
	// line 203 "JsonReader.rl"
	{
	int start = p - 1;
	if (data[p++] == '/') {
	while (p != eof && data[p] != '\n')
	p++;
	p--;
	} else {
	while (p + 1 < eof && data[p] != '*' \|\| data[p + 1] != '/')
	p++;
	p++;
	}
	if (debug) System.out.println("comment " + new String(data, start, p - start));
	}
	break;
	case 7:
	// line 216 "JsonReader.rl"
	{
	if (debug) System.out.println("unquotedChars");
	s = p;
	needsUnescape = false;
	stringIsUnquoted = true;
	if (stringIsName) {
	outer:
	while (true) {
	switch (data[p]) {
	case '\\':
	needsUnescape = true;
	break;
	case '/':
	if (p + 1 == eof) break;
	char c = data[p + 1];
	if (c == '/' \|\| c == '*') break outer;
	break;
	case ':':
	case '\r':
	case '\n':
	break outer;
	}
	if (debug) System.out.println("unquotedChar (name): '" + data[p] + "'");
	p++;
	if (p == eof) break;
	}
	} else {
	outer:
	while (true) {
	switch (data[p]) {
	case '\\':
	needsUnescape = true;
	break;
	case '/':
	if (p + 1 == eof) break;
	char c = data[p + 1];
	if (c == '/' \|\| c == '*') break outer;
	break;
	case '}':
	case ']':
	case ',':
	case '\r':
	case '\n':
	break outer;
	}
	if (debug) System.out.println("unquotedChar (value): '" + data[p] + "'");
	p++;
	if (p == eof) break;
	}
	}
	p--;
	while (Character.isSpace(data[p]))
	p--;
	}
	break;
	case 8:
	// line 270 "JsonReader.rl"
	{
	if (debug) System.out.println("quotedChars");
	s = ++p;
	needsUnescape = false;
	outer:
	while (true) {
	switch (data[p]) {
	case '\\':
	needsUnescape = true;
	p++;
	break;
	case '"':
	break outer;
	}
	// if (debug) System.out.println("quotedChar: '" + data[p] + "'");
	p++;
	if (p == eof) break;
	}
	p--;
	}
	break;
	// line 408 "JsonReader.java"
	}
	}
	}

	case 2:
	if (cs == 0) {
	_goto_targ = 5;
	continue _goto;
	}
	if (++p != pe) {
	_goto_targ = 1;
	continue _goto;
	}
	case 4:
	if (p == eof) {
	int __acts = _json_eof_actions[cs];
	int __nacts = (int)_json_actions[__acts++];
	while (__nacts-- > 0) {
	switch (_json_actions[__acts++]) {
	case 1:
	// line 107 "JsonReader.rl"
	{
	String value = new String(data, s, p - s);
	if (needsUnescape) value = unescape(value);
	outer:
	if (stringIsName) {
	stringIsName = false;
	if (debug) System.out.println("name: " + value);
	names.add(value);
	} else {
	String name = names.size > 0 ? names.pop() : null;
	if (stringIsUnquoted) {
	if (value.equals("true")) {
	if (debug) System.out.println("boolean: " + name + "=true");
	bool(name, true);
	break outer;
	} else if (value.equals("false")) {
	if (debug) System.out.println("boolean: " + name + "=false");
	bool(name, false);
	break outer;
	} else if (value.equals("null")) {
	string(name, null);
	break outer;
	}
	boolean couldBeDouble = false, couldBeLong = true;
	outer2:
	for (int i = s; i < p; i++) {
	switch (data[i]) {
	case '0':
	case '1':
	case '2':
	case '3':
	case '4':
	case '5':
	case '6':
	case '7':
	case '8':
	case '9':
	case '-':
	case '+':
	break;
	case '.':
	case 'e':
	case 'E':
	couldBeDouble = true;
	couldBeLong = false;
	break;
	default:
	couldBeDouble = false;
	couldBeLong = false;
	break outer2;
	}
	}
	if (couldBeDouble) {
	try {
	if (debug) System.out.println("double: " + name + "=" + Double.parseDouble(value));
	number(name, Double.parseDouble(value), value);
	break outer;
	} catch (NumberFormatException ignored) {
	}
	} else if (couldBeLong) {
	if (debug) System.out.println("double: " + name + "=" + Double.parseDouble(value));
	try {
	number(name, Long.parseLong(value), value);
	break outer;
	} catch (NumberFormatException ignored) {
	}
	}
	}
	if (debug) System.out.println("string: " + name + "=" + value);
	string(name, value);
	}
	stringIsUnquoted = false;
	s = p;
	}
	break;
	// line 506 "JsonReader.java"
	}
	}
	}

	case 5:
	}
	break;
	}
	}

	// line 306 "JsonReader.rl"

	} catch (RuntimeException ex) {
	parseRuntimeEx = ex;
	}

	JsonValue root = this.root;
	this.root = null;
	current = null;
	lastChild.clear();

	if (p < pe) {
	int lineNumber = 1;
	for (int i = 0; i < p; i++)
	if (data[i] == '\n') lineNumber++;
	int start = Math.max(0, p - 32);
	throw new SerializationException("Error parsing JSON on line " + lineNumber + " near: "
	+ new String(data, start, p - start) + "ERROR" + new String(data, p, Math.min(64, pe - p)), parseRuntimeEx);
	} else if (elements.size != 0) {
	JsonValue element = elements.peek();
	elements.clear();
	if (element != null && element.isObject())
	throw new SerializationException("Error parsing JSON, unmatched brace.");
	else
	throw new SerializationException("Error parsing JSON, unmatched bracket.");
	} else if (parseRuntimeEx != null) {
	throw new SerializationException("Error parsing JSON: " + new String(data), parseRuntimeEx);
	}
	return root;
	}

	// line 548 "JsonReader.java"
	private static byte[] init__json_actions_0 () {
	return new byte[] {0, 1, 1, 1, 2, 1, 3, 1, 4, 1, 5, 1, 6, 1, 7, 1, 8, 2, 0, 7, 2, 0, 8, 2, 1, 3, 2, 1, 5};
	}

	private static final byte _json_actions[] = init__json_actions_0();

	private static short[] init__json_key_offsets_0 () {
	return new short[] {0, 0, 11, 13, 14, 16, 25, 31, 37, 39, 50, 57, 64, 73, 74, 83, 85, 87, 96, 98, 100, 101, 103, 105, 116,
	123, 130, 141, 142, 153, 155, 157, 168, 170, 172, 174, 179, 184, 184};
	}

	private static final short _json_key_offsets[] = init__json_key_offsets_0();

	private static char[] init__json_trans_keys_0 () {
	return new char[] {13, 32, 34, 44, 47, 58, 91, 93, 123, 9, 10, 42, 47, 34, 42, 47, 13, 32, 34, 44, 47, 58, 125, 9, 10, 13,
	32, 47, 58, 9, 10, 13, 32, 47, 58, 9, 10, 42, 47, 13, 32, 34, 44, 47, 58, 91, 93, 123, 9, 10, 9, 10, 13, 32, 44, 47, 125,
	9, 10, 13, 32, 44, 47, 125, 13, 32, 34, 44, 47, 58, 125, 9, 10, 34, 13, 32, 34, 44, 47, 58, 125, 9, 10, 42, 47, 42, 47,
	13, 32, 34, 44, 47, 58, 125, 9, 10, 42, 47, 42, 47, 34, 42, 47, 42, 47, 13, 32, 34, 44, 47, 58, 91, 93, 123, 9, 10, 9,
	10, 13, 32, 44, 47, 93, 9, 10, 13, 32, 44, 47, 93, 13, 32, 34, 44, 47, 58, 91, 93, 123, 9, 10, 34, 13, 32, 34, 44, 47,
	58, 91, 93, 123, 9, 10, 42, 47, 42, 47, 13, 32, 34, 44, 47, 58, 91, 93, 123, 9, 10, 42, 47, 42, 47, 42, 47, 13, 32, 47,
	9, 10, 13, 32, 47, 9, 10, 0};
	}

	private static final char _json_trans_keys[] = init__json_trans_keys_0();

	private static byte[] init__json_single_lengths_0 () {
	return new byte[] {0, 9, 2, 1, 2, 7, 4, 4, 2, 9, 7, 7, 7, 1, 7, 2, 2, 7, 2, 2, 1, 2, 2, 9, 7, 7, 9, 1, 9, 2, 2, 9, 2, 2, 2,
	3, 3, 0, 0};
	}

	private static final byte _json_single_lengths[] = init__json_single_lengths_0();

	private static byte[] init__json_range_lengths_0 () {
	return new byte[] {0, 1, 0, 0, 0, 1, 1, 1, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0,
	1, 1, 0, 0};
	}

	private static final byte _json_range_lengths[] = init__json_range_lengths_0();

	private static short[] init__json_index_offsets_0 () {
	return new short[] {0, 0, 11, 14, 16, 19, 28, 34, 40, 43, 54, 62, 70, 79, 81, 90, 93, 96, 105, 108, 111, 113, 116, 119, 130,
	138, 146, 157, 159, 170, 173, 176, 187, 190, 193, 196, 201, 206, 207};
	}

	private static final short _json_index_offsets[] = init__json_index_offsets_0();

	private static byte[] init__json_indicies_0 () {
	return new byte[] {1, 1, 2, 3, 4, 3, 5, 3, 6, 1, 0, 7, 7, 3, 8, 3, 9, 9, 3, 11, 11, 12, 13, 14, 3, 15, 11, 10, 16, 16, 17,
	18, 16, 3, 19, 19, 20, 21, 19, 3, 22, 22, 3, 21, 21, 24, 3, 25, 3, 26, 3, 27, 21, 23, 28, 29, 28, 28, 30, 31, 32, 3, 33,
	34, 33, 33, 13, 35, 15, 3, 34, 34, 12, 36, 37, 3, 15, 34, 10, 16, 3, 36, 36, 12, 3, 38, 3, 3, 36, 10, 39, 39, 3, 40, 40,
	3, 13, 13, 12, 3, 41, 3, 15, 13, 10, 42, 42, 3, 43, 43, 3, 28, 3, 44, 44, 3, 45, 45, 3, 47, 47, 48, 49, 50, 3, 51, 52,
	53, 47, 46, 54, 55, 54, 54, 56, 57, 58, 3, 59, 60, 59, 59, 49, 61, 52, 3, 60, 60, 48, 62, 63, 3, 51, 52, 53, 60, 46, 54,
	3, 62, 62, 48, 3, 64, 3, 51, 3, 53, 62, 46, 65, 65, 3, 66, 66, 3, 49, 49, 48, 3, 67, 3, 51, 52, 53, 49, 46, 68, 68, 3,
	69, 69, 3, 70, 70, 3, 8, 8, 71, 8, 3, 72, 72, 73, 72, 3, 3, 3, 0};
	}

	private static final byte _json_indicies[] = init__json_indicies_0();

	private static byte[] init__json_trans_targs_0 () {
	return new byte[] {35, 1, 3, 0, 4, 36, 36, 36, 36, 1, 6, 5, 13, 17, 22, 37, 7, 8, 9, 7, 8, 9, 7, 10, 20, 21, 11, 11, 11, 12,
	17, 19, 37, 11, 12, 19, 14, 16, 15, 14, 12, 18, 17, 11, 9, 5, 24, 23, 27, 31, 34, 25, 38, 25, 25, 26, 31, 33, 38, 25, 26,
	33, 28, 30, 29, 28, 26, 32, 31, 25, 23, 2, 36, 2};
	}

	private static final byte _json_trans_targs[] = init__json_trans_targs_0();

	private static byte[] init__json_trans_actions_0 () {
	return new byte[] {13, 0, 15, 0, 0, 7, 3, 11, 1, 11, 17, 0, 20, 0, 0, 5, 1, 1, 1, 0, 0, 0, 11, 13, 15, 0, 7, 3, 1, 1, 1, 1,
	23, 0, 0, 0, 0, 0, 0, 11, 11, 0, 11, 11, 11, 11, 13, 0, 15, 0, 0, 7, 9, 3, 1, 1, 1, 1, 26, 0, 0, 0, 0, 0, 0, 11, 11, 0,
	11, 11, 11, 1, 0, 0};
	}

	private static final byte _json_trans_actions[] = init__json_trans_actions_0();

	private static byte[] init__json_eof_actions_0 () {
	return new byte[] {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
	1, 0, 0, 0};
	}

	private static final byte _json_eof_actions[] = init__json_eof_actions_0();

	static final int json_start = 1;
	static final int json_first_final = 35;
	static final int json_error = 0;

	static final int json_en_object = 5;
	static final int json_en_array = 23;
	static final int json_en_main = 1;

	// line 337 "JsonReader.rl"

	private final Array<JsonValue> elements = new Array(8);
	private final Array<JsonValue> lastChild = new Array(8);
	private JsonValue root, current;

	private void addChild (String name, JsonValue child) {
	child.setName(name);
	if (current == null) {
	current = child;
	root = child;
	} else if (current.isArray() \|\| current.isObject()) {
	child.parent = current;
	if (current.size == 0)
	current.child = child;
	else {
	JsonValue last = lastChild.pop();
	last.next = child;
	child.prev = last;
	}
	lastChild.add(child);
	current.size++;
	} else
	root = current;
	}

	protected void startObject (String name) {
	JsonValue value = new JsonValue(ValueType.object);
	if (current != null) addChild(name, value);
	elements.add(value);
	current = value;
	}

	protected void startArray (String name) {
	JsonValue value = new JsonValue(ValueType.array);
	if (current != null) addChild(name, value);
	elements.add(value);
	current = value;
	}

	protected void pop () {
	root = elements.pop();
	if (current.size > 0) lastChild.pop();
	current = elements.size > 0 ? elements.peek() : null;
	}

	protected void string (String name, String value) {
	addChild(name, new JsonValue(value));
	}

	protected void number (String name, double value, String stringValue) {
	addChild(name, new JsonValue(value, stringValue));
	}

	protected void number (String name, long value, String stringValue) {
	addChild(name, new JsonValue(value, stringValue));
	}

	protected void bool (String name, boolean value) {
	addChild(name, new JsonValue(value));
	}

	private String unescape (String value) {
	int length = value.length();
	StringBuilder buffer = new StringBuilder(length + 16);
	for (int i = 0; i < length;) {
	char c = value.charAt(i++);
	if (c != '\\') {
	buffer.append(c);
	continue;
	}
	if (i == length) break;
	c = value.charAt(i++);
	if (c == 'u') {
	buffer.append(Character.toChars(Integer.parseInt(value.substring(i, i + 4), 16)));
	i += 4;
	continue;
	}
	switch (c) {
	case '"':
	case '\\':
	case '/':
	break;
	case 'b':
	c = '\b';
	break;
	case 'f':
	c = '\f';
	break;
	case 'n':
	c = '\n';
	break;
	case 'r':
	c = '\r';
	break;
	case 't':
	c = '\t';
	break;
	default:
	throw new SerializationException("Illegal escaped character: \\" + c);
	}
	buffer.append(c);
	}
	return buffer.toString();
	}
	}