private int consumeDigit() { if ('0' <= m_cur && m_cur <= '9') { int digit = m_cur - '0'; consume(); return digit; } throw new System.Exception(); }