(stream, state)
| 75 | } |
| 76 | |
| 77 | function tokenComment(stream, state) { |
| 78 | var maybeEnd = false, ch; |
| 79 | while (ch = stream.next()) { |
| 80 | if (ch == ")" && maybeEnd) { |
| 81 | state.tokenize = null; |
| 82 | break; |
| 83 | } |
| 84 | maybeEnd = (ch == "*"); |
| 85 | } |
| 86 | return "comment"; |
| 87 | } |
| 88 | |
| 89 | // Interface |
| 90 |