json.array.Array is the representation of the array type inside JSON.
A json.array.Array contains json.node.Node elements, which may contain fundamental types, other arrays or objects.
Since arrays can be arbitrarily big, copying them can be expensive; for this reason, they are reference counted. You can control the lifetime of a json.array.Array using json.array.Array.ref_ and json.array.Array.unref.
To append an element, use json.array.Array.addElement.
To extract an element at a given index, use json.array.Array.getElement.
To retrieve the entire array in list form, use json.array.Array.getElements.
To retrieve the length of the array, use json.array.Array.getLength.
json.array.Array is the representation of the array type inside JSON.
A json.array.Array contains json.node.Node elements, which may contain fundamental types, other arrays or objects.
Since arrays can be arbitrarily big, copying them can be expensive; for this reason, they are reference counted. You can control the lifetime of a json.array.Array using json.array.Array.ref_ and json.array.Array.unref.
To append an element, use json.array.Array.addElement.
To extract an element at a given index, use json.array.Array.getElement.
To retrieve the entire array in list form, use json.array.Array.getElements.
To retrieve the length of the array, use json.array.Array.getLength.