(mode, stream, state, inner)
| 6784 | } |
| 6785 | |
| 6786 | function readToken(mode, stream, state, inner) { |
| 6787 | for (var i = 0; i < 10; i++) { |
| 6788 | if (inner) inner[0] = CodeMirror.innerMode(mode, state).mode; |
| 6789 | var style = mode.token(stream, state); |
| 6790 | if (stream.pos > stream.start) return style; |
| 6791 | } |
| 6792 | throw new Error("Mode " + mode.name + " failed to advance stream."); |
| 6793 | } |
| 6794 | |
| 6795 | // Utility for getTokenAt and getLineTokens |
| 6796 | function takeToken(cm, pos, precise, asArray) { |
no test coverage detected