text: public virtual void Consume(){if (LA(1) == IntStreamConstants.EOF){throw new InvalidOperationException("cannot consume EOF");}lastChar = data[p];if (p == n - 1 && numMarkers == 0){n = 0;p = -1;lastCharBufferStart = lastChar;}p++;currentCharIndex++;Sync(1);}