| 50160 | error("Bad string"); |
| 50161 | }, |
| 50162 | inlineComment = function inlineComment() { |
| 50163 | |
| 50164 | // Skip an inline comment, assuming this is one. The current character should |
| 50165 | // be the second / character in the // pair that begins this inline comment. |
| 50166 | // To finish the inline comment, we look for a newline or the end of the text. |
| 50167 | |
| 50168 | if (ch !== '/') { |
| 50169 | error("Not an inline comment"); |
| 50170 | } |
| 50171 | |
| 50172 | do { |
| 50173 | next(); |
| 50174 | if (ch === '\n' || ch === '\r') { |
| 50175 | next(); |
| 50176 | return; |
| 50177 | } |
| 50178 | } while (ch); |
| 50179 | }, |
| 50180 | blockComment = function blockComment() { |
| 50181 | |
| 50182 | // Skip a block comment, assuming this is one. The current character should be |