add space for multiple elements to the end of the array . concode_field_sep int size concode_elem_sep int[] array concode_field_sep void addArrayElement
void function ( int arg0 ) { if ( size + arg0 >= array . length ) { int loc0 = 2 * array . length ; while ( loc0 <= size + arg0 ) { loc0 *= 2 ; } int [ ] loc1 = array ; array = new int [ loc0 ] ; System . arraycopy ( loc1 , 0 , array , 0 , size ) ; } size += arg0 ; }