Lines Matching refs:file
114 # The file must have been a temporary file.
135 def __init__(self, file):
137 self.file = file
153 self.file.writelines((" "*self.level, arg, eol))
170 """Like open() but only write to the file if it changed."""
191 # Read the non-generated part of the file.
200 # Generate the file.
242 # Read the non-generated part of the file.
251 # Generate the file.