private void ExpectAfterWhitespace (char c)
{
while (true) {
int i = ReadChar ();
if (XmlChar.IsWhitespace (i))
continue;
if (c != i)
throw NotWFError (String.Format (CultureInfo.InvariantCulture, "Expected {0} but found {1} [{2}].", c, (char) i, i));
break;
}
}