| 1 |
// Utility function that allows modes to be combined. The mode given |
| 2 |
// as the base argument takes care of most of the normal mode |
| 3 |
// functionality, but a second (typically simple) mode is used, which |
| 4 |
// can override the style of text. Both modes get to parse all of the |
| 5 |
// text, but when both assign a non-null style to a piece of code, the |
| 6 |
// overlay wins, unless the combine argument was true, in which case |
| 7 |
// the styles are combined. |
| 8 |
|
| 9 |
// overlayParser is the old, deprecated name |
| 10 |
CodeMirror.overlayMode = CodeMirror.overlayParser = function(base, overlay, combine) { |
| 11 |
return { |
| 12 |
startState: function() { |
| 13 |
return { |
| 14 |
base: CodeMirror.startState(base), |
| 15 |
overlay: CodeMirror.startState(overlay), |
| 16 |
basePos: 0, baseCur: null, |
| 17 |
overlayPos: 0, overlayCur: null |
| 18 |
}; |
| 19 |
}, |
| 20 |
copyState: function(state) { |
| 21 |
return { |
| 22 |
base: CodeMirror.copyState(base, state.base), |
| 23 |
overlay: CodeMirror.copyState(overlay, state.overlay), |
| 24 |
basePos: state.basePos, baseCur: null, |
| 25 |
overlayPos: state.overlayPos, overlayCur: null |
| 26 |
}; |
| 27 |
}, |
| 28 |
|
| 29 |
token: function(stream, state) { |
| 30 |
if (stream.start == state.basePos) { |
| 31 |
state.baseCur = base.token(stream, state.base); |
| 32 |
state.basePos = stream.pos; |
| 33 |
} |
| 34 |
if (stream.start == state.overlayPos) { |
| 35 |
stream.pos = stream.start; |
| 36 |
state.overlayCur = overlay.token(stream, state.overlay); |
| 37 |
state.overlayPos = stream.pos; |
| 38 |
} |
| 39 |
stream.pos = Math.min(state.basePos, state.overlayPos); |
| 40 |
if (stream.eol()) state.basePos = state.overlayPos = 0; |
| 41 |
|
| 42 |
if (state.overlayCur == null) return state.baseCur; |
| 43 |
if (state.baseCur != null && combine) return state.baseCur + " " + state.overlayCur; |
| 44 |
else return state.overlayCur; |
| 45 |
}, |
| 46 |
|
| 47 |
indent: base.indent && function(state, textAfter) { |
| 48 |
return base.indent(state.base, textAfter); |
| 49 |
}, |
| 50 |
electricChars: base.electricChars, |
| 51 |
|
| 52 |
innerMode: function(state) { return {state: state.base, mode: base}; }, |
| 53 |
|
| 54 |
blankLine: function(state) { |
| 55 |
if (base.blankLine) base.blankLine(state.base); |
| 56 |
if (overlay.blankLine) overlay.blankLine(state.overlay); |
| 57 |
} |
| 58 |
}; |
| 59 |
}; |
| 60 |
|
