get_int_element

Description:

[ Version ( since = "0.8" ) ]
public int64 get_int_element (uint index_)

Conveniently retrieves the integer value of the element at the given position inside an array.

See also: [method@Json.Array.get_element], [method@Json.Node.get_int]

Parameters:

this

a JSON array
index_

the index of the element to retrieve

Returns:

the integer value