[ Version ( since = "0.8" ) ]
public double get_double_element (uint index_)
Conveniently retrieves the floating point value of the element at the given position inside an array.
See also: [method@Json.Array.get_element], [method@Json.Node.get_double]
this |
a JSON array |
index_ |
the index of the element to retrieve |
the floating point value |