(Reader r)
| 1848 | } |
| 1849 | |
| 1850 | static public int getColumnNumber(Reader r){ |
| 1851 | if(r instanceof LineNumberingPushbackReader) |
| 1852 | return ((LineNumberingPushbackReader) r).getColumnNumber(); |
| 1853 | return 0; |
| 1854 | } |
| 1855 | |
| 1856 | static public LineNumberingPushbackReader getLineNumberingReader(Reader r){ |
| 1857 | if(isLineNumberingReader(r)) |