(int i)
| 176 | } |
| 177 | |
| 178 | private void enlargeIfNeeded(int i) |
| 179 | { |
| 180 | while(end+i > array.length) |
| 181 | array = Arrays.copyOf(array, Math.max(array.length*2, 8)); |
| 182 | } |
| 183 | |
| 184 | /** |
| 185 | * Efficiently sorts this list of integers using {@link Arrays#sort(int[]) |