| 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.
|