(stream, state)
| 248 | } |
| 249 | |
| 250 | function tokenComment(stream, state) { |
| 251 | var maybeEnd = false, |
| 252 | ch; |
| 253 | while ((ch = stream.next())) { |
| 254 | if (ch == "/" && maybeEnd) { |
| 255 | state.tokenize = tokenBase; |
| 256 | break; |
| 257 | } |
| 258 | maybeEnd = (ch == "*"); |
| 259 | } |
| 260 | return ret("comment", "comment"); |
| 261 | } |
| 262 | |
| 263 | function tokenString(quote, type, style) { |
| 264 | return function(stream, state) { |