1415 |
*/ |
*/ |
1416 |
public char[] toCharArray() |
public char[] toCharArray() |
1417 |
{ |
{ |
1418 |
if (count == value.length) |
// XXX ORP 1.0.9 crashes on (char[]) clone() during bootstrap, so we |
1419 |
return (char[]) value.clone(); |
// omit this optimization for now. |
1420 |
|
// if (count == value.length) |
1421 |
|
// return (char[]) value.clone(); |
1422 |
char[] copy = new char[count]; |
char[] copy = new char[count]; |
1423 |
System.arraycopy(value, offset, copy, 0, count); |
System.arraycopy(value, offset, copy, 0, count); |
1424 |
return copy; |
return copy; |