| 48468 | error("Bad string"); |
| 48469 | }, |
| 48470 | inlineComment = function inlineComment() { |
| 48471 | |
| 48472 | // Skip an inline comment, assuming this is one. The current character should |
| 48473 | // be the second / character in the // pair that begins this inline comment. |
| 48474 | // To finish the inline comment, we look for a newline or the end of the text. |
| 48475 | |
| 48476 | if (ch !== '/') { |
| 48477 | error("Not an inline comment"); |
| 48478 | } |
| 48479 | |
| 48480 | do { |
| 48481 | next(); |
| 48482 | if (ch === '\n' || ch === '\r') { |
| 48483 | next(); |
| 48484 | return; |
| 48485 | } |
| 48486 | } while (ch); |
| 48487 | }, |
| 48488 | blockComment = function blockComment() { |
| 48489 | |
| 48490 | // Skip a block comment, assuming this is one. The current character should be |