public void append ( int [ ] i ) { // could simply delegate to the other append methods, but this // (avoiding repeated comparisions) is more efficient. while ( currentSize + i . length > buffer . length ) { grow ( ) ; } System . arraycopy ( i , 0 , buffer , currentSize , i . length ) ; currentSize += i . length ; }
Appends an array of ints .