(stream, state)
| 509 | } |
| 510 | } |
| 511 | function restOfLine(stream, state) { |
| 512 | if (stream.sol()) { |
| 513 | // if restOfLine was set at end of line, ignore it |
| 514 | state.restOfLine = ''; |
| 515 | } |
| 516 | if (state.restOfLine) { |
| 517 | stream.skipToEnd(); |
| 518 | var tok = state.restOfLine; |
| 519 | state.restOfLine = ''; |
| 520 | return tok; |
| 521 | } |
| 522 | } |
| 523 | |
| 524 | |
| 525 | function startState() { |