(stream, state)
| 95 | } |
| 96 | |
| 97 | function tokenComment(stream, state) { |
| 98 | var maybeEnd = false, ch; |
| 99 | while (ch = stream.next()) { |
| 100 | if (ch == "/" && maybeEnd) { |
| 101 | state.tokenize = tokenBase; |
| 102 | break; |
| 103 | } |
| 104 | maybeEnd = (ch == "*"); |
| 105 | } |
| 106 | return "comment"; |
| 107 | } |
| 108 | |
| 109 | function Context(indented, column, type, align, prev) { |
| 110 | this.indented = indented; |