Lines Matching refs:file
26 file = kwargs.pop('file', sys.stdout)
28 file.write(' '.join(str(arg) for arg in args))
29 file.write(end)
176 - filename - basename of file to generate, or None to write to stdout.
229 "basename of file to generate, or None to write to stdout."
319 Manages basic logic, logging, and output file control.
323 # categoryToPath - map XML 'category' to include file directory name
347 - errFile, warnFile, diagFile - file handles to write errors,
390 write('ERROR:', *args, file=strfile)
392 write(strfile.getvalue(), file=self.errFile)
396 write('WARNING:', *args, file=self.warnFile)
399 write('DIAG:', *args, file=self.diagFile)
872 """Start a new interface file
898 # Open a temporary file for accumulating output.
919 # On successfully generating output, move the temporary file to the
920 # target file.
941 """Finish an interface file, closing it when done.
1384 """Print a newline to the output file (utility function)"""
1385 write('', file=self.outFile)