(mode, stream, state, inner)
| 6759 | } |
| 6760 | |
| 6761 | function readToken(mode, stream, state, inner) { |
| 6762 | for (var i = 0; i < 10; i++) { |
| 6763 | if (inner) inner[0] = CodeMirror.innerMode(mode, state).mode; |
| 6764 | var style = mode.token(stream, state); |
| 6765 | if (stream.pos > stream.start) return style; |
| 6766 | } |
| 6767 | throw new Error("Mode " + mode.name + " failed to advance stream."); |
| 6768 | } |
| 6769 | |
| 6770 | // Utility for getTokenAt and getLineTokens |
| 6771 | function takeToken(cm, pos, precise, asArray) { |
no outgoing calls
no test coverage detected