Uses of Interface
gov.nasa.jpf.util.json.Value

Packages that use Value

Package	Description
gov.nasa.jpf.util.json

Uses of Value in gov.nasa.jpf.util.json

Classes in gov.nasa.jpf.util.json that implement Value

Modifier and Type	Class and Description
class	AbstractValue Implementation of all Value methods.
class	ArrayValue Array parsed from JSON document
class	DoubleValue Double value from JSON document
class	StringValue String value from JSON document

Methods in gov.nasa.jpf.util.json that return Value

Modifier and Type	Method and Description
Value[]	ArrayValue.getArray()
Value[]	Value.getArray() Get array value.
Value[]	AbstractValue.getArray()
Value	JSONObject.getValue(String key) Get value read from JSON document with specified key.
Value[]	CGCall.getValues()

Methods in gov.nasa.jpf.util.json with parameters of type Value

Modifier and Type	Method and Description
int	JSONObject.createArray(MJIEnv env, ClassInfo ciArray, Value value, ChoiceGenerator<?>[] cgs, String prefix)
ChoiceGenerator<?>	CGCreator.createCG(String id, Value[] params) Create choice generator