| 48486 | } while (ch); |
| 48487 | }, |
| 48488 | blockComment = function blockComment() { |
| 48489 | |
| 48490 | // Skip a block comment, assuming this is one. The current character should be |
| 48491 | // the * character in the /* pair that begins this block comment. |
| 48492 | // To finish the block comment, we look for an ending */ pair of characters, |
| 48493 | // but we also watch for the end of text before the comment is terminated. |
| 48494 | |
| 48495 | if (ch !== '*') { |
| 48496 | error("Not a block comment"); |
| 48497 | } |
| 48498 | |
| 48499 | do { |
| 48500 | next(); |
| 48501 | while (ch === '*') { |
| 48502 | next('*'); |
| 48503 | if (ch === '/') { |
| 48504 | next('/'); |
| 48505 | return; |
| 48506 | } |
| 48507 | } |
| 48508 | } while (ch); |
| 48509 | |
| 48510 | error("Unterminated block comment"); |
| 48511 | }, |
| 48512 | comment = function comment() { |
| 48513 | |
| 48514 | // Skip a comment, whether inline or block-level, assuming this is one. |