Searched refs:diagFile (Results 1 – 2 of 2) sorted by relevance
354 diagFile = sys.stdout): argument358 self.diagFile = diagFile382 if (self.diagFile != None):383 write('DIAG:', *args, file=self.diagFile)400 self.diagFile and self.diagFile.flush()457 diagFile = sys.stdout): argument458 OutputGenerator.__init__(self, errFile, warnFile, diagFile)
562 diagFile=diag)