get_double_element

Description:

[ 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]

Parameters:

this

a JSON array
index_

the index of the element to retrieve

Returns:

the floating point value