private char? NextCharSkipBlanks()
{
char? nch;
nch = this.NextChar();
while (nch.HasValue && (char.IsWhiteSpace(nch.Value) || nch.Value == '/'))
{
if (nch == '/')
{
char? nch2 = this.NextChar();
if (nch2.HasValue)
{
char ch2 = nch2.Value;
if (ch2 == '/')
this.SkipToEndOfLine();
else if (ch2 == '*')
this.SkipToEndOfComment();
else
{
this.PushChar(ch2);
return nch.Value;
}
}
}
nch = this.NextChar();
}
return nch;
}