(final int new_size)
| 644 | } |
| 645 | |
| 646 | private void growArray(final int new_size) |
| 647 | { |
| 648 | int size = (new_size == _array.length) ? new_size + 1 |
| 649 | : new_size; |
| 650 | int[] new_array = new int[ size ]; |
| 651 | |
| 652 | if (fillval != 0) { |
| 653 | fillArray(fillval, new_array, _array.length); |
| 654 | } |
| 655 | |
| 656 | System.arraycopy(_array, 0, new_array, 0, _limit); |
| 657 | _array = new_array; |
| 658 | } |
| 659 | } // end public class IntList |
| 660 |