Lines Matching refs:warnFile
327 # OutputGenerator(errFile, warnFile, diagFile)
328 # errFile, warnFile, diagFile - file handles to write errors,
353 warnFile = sys.stderr,
357 self.warnFile = warnFile
379 if (self.warnFile != None):
380 write('WARNING:', *args, file=self.warnFile)
399 self.warnFile and self.warnFile.flush()
438 # COutputGenerator(errFile, warnFile, diagFile) - args as for
456 warnFile = sys.stderr,
458 OutputGenerator.__init__(self, errFile, warnFile, diagFile)
