Lines Matching refs:diagFile
312 # OutputGenerator(errFile, warnFile, diagFile)
313 # errFile, warnFile, diagFile - file handles to write errors,
339 diagFile = sys.stdout):
343 self.diagFile = diagFile
367 if (self.diagFile != None):
368 write('DIAG:', *args, file=self.diagFile)
385 self.diagFile and self.diagFile.flush()
423 # COutputGenerator(errFile, warnFile, diagFile) - args as for
442 diagFile = sys.stdout):
443 OutputGenerator.__init__(self, errFile, warnFile, diagFile)