| 1946 | } |
| 1947 | |
| 1948 | int nextChar() { |
| 1949 | if (!refill()) |
| 1950 | return EOFC; |
| 1951 | |
| 1952 | return isEof[bufferPos] ? EOFC : increment(); |
| 1953 | } |
| 1954 | |
| 1955 | void skipChar() { |
| 1956 | increment(); |
nothing calls this directly
no outgoing calls
no test coverage detected