Searched refs:writefile (Results 1 – 3 of 3) sorted by relevance
35 def writefile(f,defs): function64 writefile(outfile,defs)
1238 self.writefile = self.process.stdin1254 self.writefile.write(data)1255 self.writefile.flush()1261 self.writefile.close()
744 def writefile(): function