()
| 50202 | error("Unterminated block comment"); |
| 50203 | }, |
| 50204 | comment = function comment() { |
| 50205 | |
| 50206 | // Skip a comment, whether inline or block-level, assuming this is one. |
| 50207 | // Comments always begin with a / character. |
| 50208 | |
| 50209 | if (ch !== '/') { |
| 50210 | error("Not a comment"); |
| 50211 | } |
| 50212 | |
| 50213 | next('/'); |
| 50214 | |
| 50215 | if (ch === '/') { |
| 50216 | inlineComment(); |
| 50217 | } else if (ch === '*') { |
| 50218 | blockComment(); |
| 50219 | } else { |
| 50220 | error("Unrecognized comment"); |
| 50221 | } |
| 50222 | }, |
| 50223 | white = function white() { |
| 50224 | |
| 50225 | // Skip whitespace and comments. |
no test coverage detected