Lines Matching defs:write
25 def write(*args, **kwargs):
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."
347 - errFile, warnFile, diagFile - file handles to write errors,
348 warnings, diagnostics to. May be None to not write."""
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)
934 - emit - actually write to the header only when True"""
1385 write('', file=self.outFile)