Lines Matching refs:header

71   def PrintHeader(self, header):  argument
72     header.write('*version\n');
73     header.write('3\n');
74     header.write('data-file-overflow=false\n');
75     header.write('clock=dual\n');
76     header.write('vm=art\n');
157   def Finalize(self, header):  argument
163       header.seek(0)
164       header.truncate()
171           header.write(line)
173       header.write('*threads\n')
175         header.write(t)
176     header.write('*methods\n')
178       header.write(m)
179     header.write('*end\n')
183     header = open(filename + '.header', 'w')         # Header part
186     self.PrintHeader(header)
195     self.Finalize(header)
198     header.close()