()
| 583 | } |
| 584 | |
| 585 | @Override |
| 586 | public String toString() { |
| 587 | StringBuilder builder = new StringBuilder(size() * 3); |
| 588 | builder.append('[').append(array[start]); |
| 589 | for (int i = start + 1; i < end; i++) { |
| 590 | builder.append(", ").append(array[i]); |
| 591 | } |
| 592 | return builder.append(']').toString(); |
| 593 | } |
| 594 | |
| 595 | char[] toCharArray() { |
| 596 | // Arrays.copyOfRange() is not available under GWT |