//
// CopyTo
//
public static void CopyTo(java.lang.String str, int sourceIndex,
char[] destination, int destinationIndex, int count)
{
ThrowHelper.ThrowIfNull(destination);
if (count < 0 || sourceIndex < 0 || destinationIndex < 0 ||
count > str.length() - sourceIndex ||
destinationIndex > destination.Length - count)
{
throw new System.ArgumentOutOfRangeException();
}
str.getChars(sourceIndex, sourceIndex + count, destination, destinationIndex);
}
