public static JSONValue parse_json_value(JSONTextSource source)
{
JSONValueHandler my_handler = new JSONValueHandler();
JSONParse.parse_json_value(source, my_handler);
return(my_handler.getResult());
}
public static void parse_json_value(JSONTextSource source,
JSONHandler handler)
{
(new JSONParser(source)).parse_value(handler);
}
public JSONParser(JSONTextSource init_source)
{
source = init_source;
line_num = 1;
column_num = 1;
}
