public static JSONValue parse_json_value(string text, string file_name)
{
JSONValueHandler my_handler = new JSONValueHandler();
JSONParse.parse_json_value(text, file_name, my_handler);
return(my_handler.getResult());
}
public static JSONValue parse_json_value(JSONTextSource source)
{
JSONValueHandler my_handler = new JSONValueHandler();
JSONParse.parse_json_value(source, my_handler);
return(my_handler.getResult());
}