Searched refs:warnFile (Results 1 – 2 of 2) sorted by relevance
353 warnFile = sys.stderr, argument357 self.warnFile = warnFile379 if (self.warnFile != None):380 write('WARNING:', *args, file=self.warnFile)399 self.warnFile and self.warnFile.flush()456 warnFile = sys.stderr, argument458 OutputGenerator.__init__(self, errFile, warnFile, diagFile)
561 warnFile=errWarn,