Function readToken

GUI/codemirror/lib/codemirror.js:5586–5591

(mode, stream, state)

  }

  function readToken(mode, stream, state) {
    var style = mode.token(stream, state);
    if (stream.pos <= stream.start)
      throw new Error("Mode " + mode.name + " failed to advance stream.");
    return style;
  }

  // Run the given mode's parser over a line, calling f for each token.
  function runMode(cm, text, mode, state, f, lineClasses, forceToEnd) {