Returns the next character in the filtered stream. If the desired number of lines have already been read, the resulting stream is effectively at an end. Otherwise, the next character from the underlying stream is read and returned. @return the next character in the resulting stream, or -1 if the en
()
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected