(stream, state)
| 91 | } |
| 92 | |
| 93 | function tokenComment(stream, state) { |
| 94 | var maybeEnd = false, ch; |
| 95 | while (ch = stream.next()) { |
| 96 | if (ch == "/" && maybeEnd) { |
| 97 | state.tokenize = tokenBase; |
| 98 | break; |
| 99 | } |
| 100 | maybeEnd = (ch == "*"); |
| 101 | } |
| 102 | return ret("comment", "plsql-comment"); |
| 103 | } |
| 104 | |
| 105 | // Interface |
| 106 |