crown-engine/tools/core/json/json.vala

/*
 * Copyright (c) 2012-2016 Daniele Bartolini and individual contributors.
 * License: https://github.com/taylor001/crown/blob/master/LICENSE-GPLv2
 */

/*
 * Original C# code:
 * Public Domain Niklas Frykholm
 */

using Gee;
using GLib;

namespace Crown
{
	public class Hashtable : HashMap<string, Value?> { }

	/// <summary>
	/// Provides functions for encoding and decoding files in the JSON format.
	/// </summary>
	public class JSON
	{
		/// <summary>
		///  Encodes the hashtable t in the JSON format. The hash table can
		///  contain, numbers, bools, strings, ArrayLists and Hashtables.
		/// </summary>
		public static string encode(Value? t)
		{
			StringBuilder sb = new StringBuilder();
			write(t, sb, 0);
			sb.append_c('\n');
			return sb.str;
		}

		/// <summary>
		/// Decodes a JSON bytestream into a hash table with numbers, bools, strings,
		/// ArrayLists and Hashtables.
		/// </summary>
		public static Value? decode(uint8[] sjson)
		{
			int index = 0;
			return parse(sjson, ref index);
		}

		/// <summary>
		/// Convenience function for loading a file.
		/// </summary>
		public static Hashtable load(string path)
		{
			FileStream fs = FileStream.open(path, "r");
			// Get file size
			fs.seek (0, FileSeek.END);
			long size = fs.tell ();
			fs.rewind ();
			uint8[] bytes = new uint8[size];
			fs.read(bytes);
			return decode(bytes) as Hashtable;
		}

		/// <summary>
		/// Convenience function for saving a file.
		/// </summary>
		public static void save(Hashtable h, string path)
		{
			string s = encode(h);
			FileStream fs = FileStream.open(path, "w");
			uint8[] bytes = s.data;
			fs.write(bytes);
		}

		static void write_new_line(StringBuilder builder, int indentation)
		{
			builder.append_c('\n');
			for (int i = 0; i < indentation; ++i)
				builder.append_c('\t');
		}

		static void write(Value? o, StringBuilder builder, int indentation)
		{
			if (o == null)
				builder.append("null");
			else if (o.holds(typeof(bool)) && (bool)o == false)
				builder.append("false");
			else if (o.holds(typeof(bool)))
				builder.append("true");
			else if (o.holds(typeof(int)))
				builder.append(((int)o).to_string());
			else if (o.holds(typeof(float)))
				builder.append(((float)o).to_string());
			else if (o.holds(typeof(double)))
				builder.append(((double)o).to_string());
			else if (o.holds(typeof(string)))
				write_string((string)o, builder);
			else if (o.holds(typeof(ArrayList)))
				write_array((ArrayList)o, builder, indentation);
			else if (o.holds(typeof(Hashtable)))
				write_object((Hashtable)o, builder, indentation);
			else
				assert(false);
		}

		static void write_string(string s, StringBuilder builder)
		{
			builder.append_c('"');
			for (int i = 0; i < s.length; ++i)
			{
				uint8 c = s[i];
				if (c == '"' || c == '\\')
				{
					builder.append_c('\\');
					builder.append_c((char)c);
				}
				else if (c == '\n')
				{
					builder.append_c('\\');
					builder.append_c('n');
				}
				else
					builder.append_c((char)c);
			}
			builder.append_c('"');
		}

		static void write_array(ArrayList<Value?> a, StringBuilder builder, int indentation)
		{
			bool write_comma = false;
			builder.append("[ ");
			foreach (Value? item in a)
			{
				if (write_comma)
					builder.append(", ");
				write(item, builder, indentation + 1);
				write_comma = true;
			}
			builder.append("]");
		}

		static void write_object(Hashtable t, StringBuilder builder, int indentation)
		{
			builder.append_c('{');
			bool write_comma = false;
			foreach (var de in t.entries)
			{
				if (write_comma)
					builder.append(", ");
				write_new_line(builder, indentation);
				write(de.key, builder, indentation);
				builder.append(" : ");
				write(de.value, builder, indentation);
				write_comma = true;
			}
			write_new_line(builder, indentation);
			builder.append_c('}');
		}

		static void skip_whitespace(uint8[] json, ref int index)
		{
			while (index < json.length)
			{
				uint8 c = json[index];
				if (c == ' ' || c == '\t' || c == '\n' || c == '\r' || c == ',')
					++index;
				else
					break;
			}
		}

		static void consume(uint8[] json, ref int index, string consume)
		{
			skip_whitespace(json, ref index);
			for (int i = 0; i < consume.length; ++i)
			{
				if (json[index] != consume[i])
					assert(false);
				++index;
			}
		}

		static Value? parse(uint8[] json, ref int index)
		{
			uint8 c = next(json, ref index);

			if (c == '{')
				return parse_object(json, ref index);
			else if (c == '[')
				return parse_array(json, ref index);
			else if (c == '"')
				return parse_string(json, ref index);
			else if (c == '-' || c >= '0' && c <= '9')
				return parse_number(json, ref index);
			else if (c == 't')
			{
				consume(json, ref index, "true");
				return true;
			}
			else if (c == 'f')
			{
				consume(json, ref index, "false");
				return false;
			}
			else if (c == 'n')
			{
				consume(json, ref index, "null");
				return null;
			}
			else
			{
				assert(false);
				return null;
			}
		}

		static uint8 next(uint8[] json, ref int index)
		{
			skip_whitespace(json, ref index);
			return json[index];
		}

		static Hashtable parse_object(uint8[] json, ref int index)
		{
			Hashtable ht = new Hashtable();
			consume(json, ref index, "{");
			skip_whitespace(json, ref index);

			while (next(json, ref index) != '}')
			{
				string key = parse_string(json, ref index);
				consume(json, ref index, ":");
				if (key.has_suffix("_binary"))
					ht[key] = (Value?)parse_binary(json, ref index);
				else
					ht[key] = parse(json, ref index);
			}
			consume(json, ref index, "}");
			return ht;
		}

		static ArrayList<Value?> parse_array(uint8[] json, ref int index)
		{
			ArrayList<Value?> a = new ArrayList<Value?>();
			consume(json, ref index, "[");
			while (next(json, ref index) != ']')
			{
				Value? value = parse(json, ref index);
				a.add(value);
			}
			consume(json, ref index, "]");
			return a;
		}

		static uint8[] parse_binary(uint8[] json, ref int index)
		{
			ArrayList<uint8> s = new ArrayList<uint8>();

			consume(json, ref index, "\"");
			while (true)
			{
				uint8 c = json[index];
				++index;
				if (c == '"')
					break;
				else if (c != '\\')
					s.add(c);
				else
				{
					uint8 q = json[index];
					++index;
					if (q == '"' || q == '\\' || q == '/')
						s.add(q);
					else if (q == 'b') s.add('\b');
					else if (q == 'f') s.add('\f');
					else if (q == 'n') s.add('\n');
					else if (q == 'r') s.add('\r');
					else if (q == 't') s.add('\t');
					else if (q == 'u')
					{
						assert(false);
					}
					else
					{
						assert(false);
					}
				}
			}
			s.add('\0');
			return s.to_array();
		}

		static string parse_string(uint8[] json, ref int index)
		{
			return (string)parse_binary(json, ref index);
		}

		static double parse_number(uint8[] json, ref int index)
		{
			int end = index;
			while ("0123456789+-.eE".index_of_char((char)json[end]) != -1)
				++end;
			uint8[] num = json[index:end];
			num += '\0';
			index = end;
			return double.parse((string)num);
		}
	}
}