code: protected void lexError(int pos, String key, Object... args) {
          log.error(pos, key, args);
          tk = TokenKind.ERROR;
          errPos = pos;
      }
docs: Report an error at the given position using the provided arguments.