(stream, state)
| 86 | } |
| 87 | |
| 88 | function tokenComment(stream, state) { |
| 89 | var maybeEnd = false, ch; |
| 90 | while (ch = stream.next()) { |
| 91 | if (ch == "/" && maybeEnd) { |
| 92 | state.tokenize = null; |
| 93 | break; |
| 94 | } |
| 95 | maybeEnd = (ch == "*"); |
| 96 | } |
| 97 | return "comment"; |
| 98 | } |
| 99 | |
| 100 | function Context(indented, column, type, align, prev) { |
| 101 | this.indented = indented; |