def __init__(self, filename, content):

        self.filename = filename
        self.__needsRewrite = False
        self.__content = content

        # Open file with "w" at least once so it will be overwritten.
        util.write_file(content, self.filename)
The constructor of FileWriter creates the file.
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/filewriter.py/FileWriter.__init__