(int index, char[] chars)
| 287 | } |
| 288 | |
| 289 | final void insert0(int index, char[] chars) { |
| 290 | if (0 > index || index > count) { |
| 291 | throw new StringIndexOutOfBoundsException(index); |
| 292 | } |
| 293 | if (chars.length != 0) { |
| 294 | move(chars.length, index); |
| 295 | System.arraycopy(chars, 0, value, index, chars.length); |
| 296 | count += chars.length; |
| 297 | } |
| 298 | } |
| 299 | |
| 300 | final void insert0(int index, char[] chars, int start, int length) { |
| 301 | if (0 <= index && index <= count) { |