(stream, state)
| 215 | } |
| 216 | |
| 217 | function tokenComment(stream, state) { |
| 218 | var maybeEnd = false, ch; |
| 219 | while (ch = stream.next()) { |
| 220 | if (ch == "/" && maybeEnd) { |
| 221 | state.tokenize = tokenBase; |
| 222 | break; |
| 223 | } |
| 224 | maybeEnd = (ch == "*"); |
| 225 | } |
| 226 | return "comment"; |
| 227 | } |
| 228 | |
| 229 | function Context(indented, column, type, align, prev) { |
| 230 | this.indented = indented; |