()
| 637 | } |
| 638 | |
| 639 | @Override |
| 640 | public String toString() { |
| 641 | StringBuilder builder = new StringBuilder(size() * 5); |
| 642 | builder.append('[').append(array[start]); |
| 643 | for (int i = start + 1; i < end; i++) { |
| 644 | builder.append(", ").append(array[i]); |
| 645 | } |
| 646 | return builder.append(']').toString(); |
| 647 | } |
| 648 | |
| 649 | int[] toIntArray() { |
| 650 | // Arrays.copyOfRange() is not available under GWT |