Package | Description |
---|---|
gov.nasa.jpf.util.json |
Class and Description |
---|
AbstractValue
Implementation of all Value methods.
|
CGCall |
CGCreator
Creates Choice generator from Value array.
|
CGCreatorFactory
Singleton factory for creating CGCreators.
|
JSONLexer
Lexical analyzer that reads stream and return JSON tokens.
|
JSONObject
Object parsed from JSON document.
|
Token
Token that is generated by JSONLexer.
|
Token.Type |
Value
Value that was read from JSON document.
|