private void SkipWhitespace() { while (!BufferReader.EndOfFile && (s_charType[BufferReader.GetByte()] & CharType.Whitespace) != 0) BufferReader.SkipByte(); }