(stream, state)
| 119 | } |
| 120 | |
| 121 | function tokenComment(stream, state) { |
| 122 | var maybeEnd = false, ch; |
| 123 | while (ch = stream.next()) { |
| 124 | if (ch == "/" && maybeEnd) { |
| 125 | state.tokenize = tokenBase; |
| 126 | break; |
| 127 | } |
| 128 | maybeEnd = (ch == "*"); |
| 129 | } |
| 130 | return "comment"; |
| 131 | } |
| 132 | |
| 133 | function Context(indented, column, type, align, prev) { |
| 134 | this.indented = indented; |