def PushBack(self, string="", **_):
    self.buffer = string + self.buffer
    self.processed_buffer = self.processed_buffer[:-len(string)]
Push the match back on the stream.
dataset/ETHPy150Open google/grr/grr/lib/lexer.py/Lexer.PushBack