dup_element
Description:
[
Version ( since =
"0.6" ) ]
public Node dup_element (
uint index_)
Retrieves a copy of the element at the given position in the array.
Parameters:
| this |
a JSON array
|
| index_ |
the index of the element to retrieve
|
Returns:
|
a copy of the element at the given position
|