def char(self):
        """ Read one character from the stream or queue if available. Return
            EOF when EOF is reached.
        """
        # Read a new chunk from the input stream if necessary
        if self.chunkOffset >= self.chunkSize:
            if not self.readChunk():
                return EOF

        chunkOffset = self.chunkOffset
        char = self.chunk[chunkOffset]
        self.chunkOffset = chunkOffset + 1

        return char
 Read one character from the stream or queue if available. Return
            EOF when EOF is reached.
        
product/gradle-plugin/src/main/python/pip/_vendor/html5lib/_inputstream.py