()
| 722 | } |
| 723 | |
| 724 | @Override |
| 725 | public String toString() { |
| 726 | StringBuilder builder = new StringBuilder(size() * 10); |
| 727 | builder.append('[').append(array[start]); |
| 728 | for (int i = start + 1; i < end; i++) { |
| 729 | builder.append(", ").append(array[i]); |
| 730 | } |
| 731 | return builder.append(']').toString(); |
| 732 | } |
| 733 | |
| 734 | long[] toLongArray() { |
| 735 | // Arrays.copyOfRange() is not available under GWT |