()
| 178 | } |
| 179 | |
| 180 | private int |
| 181 | getChar() throws IOException { |
| 182 | int c = is.read(); |
| 183 | if (c == '\r') { |
| 184 | int next = is.read(); |
| 185 | if (next != '\n') |
| 186 | is.unread(next); |
| 187 | c = '\n'; |
| 188 | } |
| 189 | if (c == '\n') |
| 190 | line++; |
| 191 | return c; |
| 192 | } |
| 193 | |
| 194 | private void |
| 195 | ungetChar(int c) throws IOException { |
no test coverage detected