(stream, state)
| 100 | } |
| 101 | |
| 102 | function tokenNestedComment(stream, state) { |
| 103 | var maybeEnd = false, ch; |
| 104 | while (ch = stream.next()) { |
| 105 | if (ch == "/" && maybeEnd) { |
| 106 | state.tokenize = null; |
| 107 | break; |
| 108 | } |
| 109 | maybeEnd = (ch == "+"); |
| 110 | } |
| 111 | return "comment"; |
| 112 | } |
| 113 | |
| 114 | function Context(indented, column, type, align, prev) { |
| 115 | this.indented = indented; |