public char[] ResizeBuffer(int newSize)
{
if (TermBuffer.Length < newSize)
{
// Not big enough; create a new array with slight
// over allocation and preserve content
char[] newCharBuffer = new char[ArrayUtil.Oversize(newSize, RamUsageEstimator.NUM_BYTES_CHAR)];
Array.Copy(TermBuffer, 0, newCharBuffer, 0, TermBuffer.Length);
TermBuffer = newCharBuffer;
}
return TermBuffer;
}