'Close the current file and forget everything we know about it
(filename, current line number).'

def close(self):

    self.file.close()
    self.file = None
    self.filename = None
    self.current_line = None
    return
