(Reader r)
| 167 | } |
| 168 | |
| 169 | static public int read1(Reader r){ |
| 170 | try |
| 171 | { |
| 172 | return r.read(); |
| 173 | } |
| 174 | catch(IOException e) |
| 175 | { |
| 176 | throw Util.sneakyThrow(e); |
| 177 | } |
| 178 | } |
| 179 | |
| 180 | // Reader opts |
| 181 | static public final Keyword OPT_EOF = Keyword.intern(null,"eof"); |
no test coverage detected