| 50864 | } while (ch); |
| 50865 | }, |
| 50866 | blockComment = function blockComment() { |
| 50867 | |
| 50868 | // Skip a block comment, assuming this is one. The current character should be |
| 50869 | // the * character in the /* pair that begins this block comment. |
| 50870 | // To finish the block comment, we look for an ending */ pair of characters, |
| 50871 | // but we also watch for the end of text before the comment is terminated. |
| 50872 | |
| 50873 | if (ch !== '*') { |
| 50874 | error("Not a block comment"); |
| 50875 | } |
| 50876 | |
| 50877 | do { |
| 50878 | next(); |
| 50879 | while (ch === '*') { |
| 50880 | next('*'); |
| 50881 | if (ch === '/') { |
| 50882 | next('/'); |
| 50883 | return; |
| 50884 | } |
| 50885 | } |
| 50886 | } while (ch); |
| 50887 | |
| 50888 | error("Unterminated block comment"); |
| 50889 | }, |
| 50890 | comment = function comment() { |
| 50891 | |
| 50892 | // Skip a comment, whether inline or block-level, assuming this is one. |