| 827 |
|
if (size == 0) |
| 828 |
|
return "[]"; |
| 829 |
|
|
| 830 |
< |
// Copy each string into a perfectly sized char[] |
| 831 |
< |
final char[] chars = new char[charLength + 2 * size]; |
| 832 |
< |
chars[0] = '['; |
| 833 |
< |
int j = 1; |
| 834 |
< |
for (int i = 0; i < size; i++) { |
| 835 |
< |
if (i > 0) { |
| 836 |
< |
chars[j++] = ','; |
| 837 |
< |
chars[j++] = ' '; |
| 838 |
< |
} |
| 839 |
< |
String s = a[i]; |
| 840 |
< |
int len = s.length(); |
| 841 |
< |
s.getChars(0, len, chars, j); |
| 842 |
< |
j += len; |
| 843 |
< |
} |
| 844 |
< |
chars[j] = ']'; |
| 845 |
< |
return new String(chars); |
| 830 |
> |
return Helpers.toString(a, size, charLength); |
| 831 |
|
} |
| 832 |
|
} |
| 833 |
|
|
