gov.nasa.jpf.util.json

Class JSONParser

java.lang.Object

gov.nasa.jpf.util.json.JSONParser

public class JSONParser
extends java.lang.Object

JSON parser. Read tokenized stream from JSONTokenizer and returns root JSON node. Parser read extended JSON grammar (http://json.org). Standard grammar was extended by ability to set Choice Generator call as a value in JSON object.

Constructor Summary

Constructors

Constructor and Description
JSONParser(JSONLexer lexer)

Method Summary

Modifier and Type	Method and Description
JSONObject	parse() Parse JSON document

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JSONParser

public JSONParser(JSONLexer lexer)

Method Detail

parse

public JSONObject parse()

Parse JSON document

Returns:

root node of JSON tree.