()
| 48510 | error("Unterminated block comment"); |
| 48511 | }, |
| 48512 | comment = function comment() { |
| 48513 | |
| 48514 | // Skip a comment, whether inline or block-level, assuming this is one. |
| 48515 | // Comments always begin with a / character. |
| 48516 | |
| 48517 | if (ch !== '/') { |
| 48518 | error("Not a comment"); |
| 48519 | } |
| 48520 | |
| 48521 | next('/'); |
| 48522 | |
| 48523 | if (ch === '/') { |
| 48524 | inlineComment(); |
| 48525 | } else if (ch === '*') { |
| 48526 | blockComment(); |
| 48527 | } else { |
| 48528 | error("Unrecognized comment"); |
| 48529 | } |
| 48530 | }, |
| 48531 | white = function white() { |
| 48532 | |
| 48533 | // Skip whitespace and comments. |
no test coverage detected