Package | Description |
---|---|
gov.nasa.jpf.util.json |
Modifier and Type | Method and Description |
---|---|
JSONObject |
ArrayValue.getObject() |
JSONObject |
Value.getObject()
Get JSON object.
|
JSONObject |
AbstractValue.getObject() |
JSONObject |
JSONParser.parse()
Parse JSON document
|
Modifier and Type | Method and Description |
---|---|
static List<ChoiceGenerator<?>> |
CGCall.createCGList(JSONObject jsonObject)
This method go through JSON object and finds all CGs to set in a current state.
|