array_append


Description:

public void array_append (VectorValue element)

Appends element to the array value of this.

The value of element is copied.

Parameters:

this

an array [struct@VectorValue]

element

a [struct@VectorValue] to append to the array