add_element

Description:

public void add_element (owned Node node)

Appends the given `node` inside an array.

Parameters:

this

a JSON array
node

the element to add