Searched refs:diagFile (Results 1 – 2 of 2) sorted by relevance
445 diagFile = sys.stdout): argument449 self.diagFile = diagFile477 if (self.diagFile != None):478 write('DIAG:', *args, file=self.diagFile)555 self.diagFile and self.diagFile.flush()742 diagFile = sys.stdout): argument743 OutputGenerator.__init__(self, errFile, warnFile, diagFile)978 diagFile = sys.stdout): argument979 OutputGenerator.__init__(self, errFile, warnFile, diagFile)1143 diagFile = sys.stdout): argument[all …]
321 diagFile=diag)