| Name | Description |
|---|---|
appendElement( ) |
Adds a new element to the end of the array. |
clear() |
Removes all elements of the array. |
deleteElement( index INTEGER ) |
Removes an element from the array according to its index. |
getLength( ) RETURNING result INTEGER |
Returns the length of the array. |
insertElement( index INTEGER ) |
Inserts a new element at the given index. |
sort( key STRING, reverse BOOLEAN ) |
Sorts the rows in the array. |