Lines Matching refs:diagFile
327 # OutputGenerator(errFile, warnFile, diagFile)
328 # errFile, warnFile, diagFile - file handles to write errors,
354 diagFile = sys.stdout):
358 self.diagFile = diagFile
382 if (self.diagFile != None):
383 write('DIAG:', *args, file=self.diagFile)
400 self.diagFile and self.diagFile.flush()
438 # COutputGenerator(errFile, warnFile, diagFile) - args as for
457 diagFile = sys.stdout):
458 OutputGenerator.__init__(self, errFile, warnFile, diagFile)
