

def PushBack(self, string='', **_):
    'Push the match back on the stream.'
    self.buffer = (string + self.buffer)
    self.processed_buffer = self.processed_buffer[:(- len(string))]

dataset/ETHPy150Open google/grr/grr/lib/lexer.py Lexer.PushBack/original