86 def generate_header(file, last_time, total_lines, total_executed, path, image):  argument
88     date = time.strftime("%Y-%m-%d %H:%M:%S", time.gmtime(last_time))
193 def write_title_page(dest_dir, last_time, last_tot_lines, last_tot_covered, dir_series):  argument
198 …generate_header(index, last_time, last_tot_lines, last_tot_covered, "directory", "images/Total.png…
211 def write_directory_site(dest_dir, dir_name, last_time, dir_series, file_series):  argument
215 …generate_header(site, last_time, tot_lines, tot_covered, "directory - %s" % dir_name, "images/%s.p…
228 def write_file_site(dest_dir, file_name, last_time, data_dir, last_id, file_series):  argument
232 …generate_header(site, last_time, tot_lines, tot_covered, "file - %s" % file_name, "images/%s.png" …
334     last_time, last_id, last_tot_lines, last_tot_covered = data[-1][:4]
338     write_title_page(outdir, last_time, last_tot_lines, last_tot_covered, dir_serieses)
343         write_directory_site(outdir, dir_name, last_time, dir_serieses, file_serieses)
347         write_file_site(outdir, file_name, last_time, datadir, last_id, file_serieses)