private void CheckNameCapacity () { if (nameLength == nameCapacity) { nameCapacity = nameCapacity * 2; char [] oldNameBuffer = nameBuffer; nameBuffer = new char [nameCapacity]; Array.Copy (oldNameBuffer, nameBuffer, nameLength); } }