get_element


Description:

public unowned Node get_element (uint index_)

Retrieves the element at the given position in the array.

Parameters:

this

a JSON array

index_

the index of the element to retrieve

Returns:

the element at the given position




2022 vala-language.org