private void SniffWhitespace() { char ch = (char)PeekChar(); while (ch == ' ' || ch == '\t' || ch == '\r' || ch == '\n') { int i = pos; ch = (char)ReadChar(); if (ch != ' ' && ch != '\t' && ch != '\r' && ch != '\n') pos = i; } }