push

NAME

push - append one or more elements to an array


SYNOPSIS

push ARRAY,LIST


DESCRIPTION

Treats ARRAY as a stack, and pushes the values of LIST onto the end of ARRAY. The length of ARRAY increases by the length of LIST. Has the same effect as

for $value (LIST) { $ARRAY[++$#ARRAY] = $value; }

but is more efficient. Returns the new number of elements in the array.