| 1848 | } |
| 1849 | |
| 1850 | char increment() { |
| 1851 | char c; |
| 1852 | if ((c = buffer[bufferPos++]) == LF) |
| 1853 | line++; |
| 1854 | return c; |
| 1855 | } |
| 1856 | |
| 1857 | public: |
| 1858 | BufferedFileInputStreamReader(std::FILE *file, const std::string &name) : file(file), name(name), line(1) { |
nothing calls this directly
no outgoing calls
no test coverage detected