()
| 201 | } |
| 202 | |
| 203 | private int |
| 204 | skipWhitespace() throws IOException { |
| 205 | int skipped = 0; |
| 206 | while (true) { |
| 207 | int c = getChar(); |
| 208 | if (c != ' ' && c != '\t') { |
| 209 | if (!(c == '\n' && multiline > 0)) { |
| 210 | ungetChar(c); |
| 211 | return skipped; |
| 212 | } |
| 213 | } |
| 214 | skipped++; |
| 215 | } |
| 216 | } |
| 217 | |
| 218 | private void |
| 219 | checkUnbalancedParens() throws TextParseException { |