(PushbackReader r, int ch)
| 134 | } |
| 135 | |
| 136 | static void unread(PushbackReader r, int ch) { |
| 137 | if(ch != -1) |
| 138 | try |
| 139 | { |
| 140 | r.unread(ch); |
| 141 | } |
| 142 | catch(IOException e) |
| 143 | { |
| 144 | throw Util.sneakyThrow(e); |
| 145 | } |
| 146 | } |
| 147 | |
| 148 | public static class ReaderException extends RuntimeException implements IExceptionInfo{ |
| 149 | public final int line; |
no test coverage detected