(Reader r)
| 1827 | } |
| 1828 | |
| 1829 | static public Character peekChar(Reader r) throws IOException{ |
| 1830 | int ret; |
| 1831 | if(r instanceof PushbackReader) { |
| 1832 | ret = r.read(); |
| 1833 | ((PushbackReader) r).unread(ret); |
| 1834 | } |
| 1835 | else { |
| 1836 | r.mark(1); |
| 1837 | ret = r.read(); |
| 1838 | r.reset(); |
| 1839 | } |
| 1840 | |
| 1841 | return readRet(ret); |
| 1842 | } |
| 1843 | |
| 1844 | static public int getLineNumber(Reader r){ |
| 1845 | if(r instanceof LineNumberingPushbackReader) |