private void IncreaseSourceCapacity(int minimalCapacity)
{
// Call this only when capacity increase is must
if (minimalCapacity <= sourceBuffer.Length)
{
Kit.CodeBug();
}
int newCapacity = sourceBuffer.Length * 2;
if (newCapacity < minimalCapacity)
{
newCapacity = minimalCapacity;
}
char[] tmp = new char[newCapacity];
System.Array.Copy(sourceBuffer, 0, tmp, 0, sourceTop);
sourceBuffer = tmp;
}