(stream, state)
| 135 | } |
| 136 | |
| 137 | function tokenCComment(stream, state) { |
| 138 | var maybeEnd = false, ch; |
| 139 | while ((ch = stream.next()) != null) { |
| 140 | if (maybeEnd && ch == "/") { |
| 141 | state.tokenize = tokenBase; |
| 142 | break; |
| 143 | } |
| 144 | maybeEnd = (ch == "*"); |
| 145 | } |
| 146 | return "comment"; |
| 147 | } |
| 148 | |
| 149 | function tokenString(quote) { |
| 150 | return function(stream, state) { |