Lines Matching refs:outputDriver

15                  outputTests=None, outputDriver=None,  argument
20         self.outputDriver = outputDriver
21         self.writeBody = outputHeader or outputTests or outputDriver
29             for f in (self.output,self.outputHeader,self.outputTests,self.outputDriver):
41             for f in (self.output,self.outputTests,self.outputDriver):
45         if self.outputDriver:
46             print >>self.outputDriver, '#include <stdio.h>'
47             print >>self.outputDriver, '#include <stdlib.h>\n'
48             print >>self.outputDriver, 'int main(int argc, char **argv) {'
49             print >>self.outputDriver, '  int index = -1;'
50             print >>self.outputDriver, '  if (argc > 1) index = atoi(argv[1]);'
63         if self.outputDriver:
64             print >>self.outputDriver, '  printf("DONE\\n");'
65             print >>self.outputDriver, '  return 0;'
66             print >>self.outputDriver, '}'        
136         if self.outputDriver:
137             print >>self.outputDriver, '  if (index == -1 || index == %d) {' % i
138             print >>self.outputDriver, '    extern void test_%s(void);' % fnName
139             print >>self.outputDriver, '    test_%s();' % fnName
140             print >>self.outputDriver, '   }'
621     outputDriver = None
622     if opts.outputDriver:
623         outputDriver = open(opts.outputDriver,'w')
624         atexit.register(lambda: outputDriver.close())
638                     outputDriver=outputDriver,