Searched refs:outputHeader (Results 1 – 1 of 1) sorted by relevance
15 def __init__(self, output, outputHeader=None, argument19 self.outputHeader = outputHeader74 if self.outputHeader:75 print(decl, file=self.outputHeader)118 if self.outputHeader:144 if self.outputHeader:180 if self.outputHeader:612 outputHeader = None613 if opts.outputHeader:614 outputHeader = open(opts.outputHeader,'w')[all …]