print("-" * 28) maxname = max([len(p) for p in analysistimes]) print("\n\nProject statistics:") print("analysis date".ljust(16) + " " + "project".ljust(maxname) + "LOC ".rjust(10) + "CLOC ".rjust(10) + "functions".rjust(10)) print("-" * (maxname + 48)) lctotal = 0 clctotal = 0 fctotal = 0 for p in sorted(analysistimes, key=lambda p: analysistimes[p]): (lc, clc, fc) = projectstats[p] lctotal += lc clctotal += clc fctotal += fc print( time.strftime("%Y-%m-%d %H:%M", time.localtime(analysistimes[p])) + " " + p.ljust(maxname) + str(lc).rjust(10) + str(clc).rjust(10) + str(fc).rjust(10)) print("-" * (maxname + 48)) print(("Total " + str(len(analysistimes)) + " test sets: ").ljust(maxname + 18) + str(lctotal).rjust(10) + str(clctotal).rjust(10) + str(fctotal).rjust(10)) print("\n\nProof obligation transfer") print("\n".join( RP.totals_to_presentation_string(ppoprojecttotals, spoprojecttotals, projectstats)))
print(' ' + p) print('-' * 28) print('\n\nProject statistics:') print('analysis time'.ljust(16) + ' ' + 'project'.ljust(28) + 'LOC '.rjust(10) + 'CLOC '.rjust(10) + 'functions'.rjust(10)) print('-' * 80) lctotal = 0 clctotal = 0 fctotal = 0 for p in sorted(analysistimes,key=lambda p:analysistimes[p]): (lc,clc,fc) = projectstats[p] lctotal += lc clctotal += clc fctotal += fc print(time.strftime('%Y-%m-%d %H:%M',time.localtime(analysistimes[p])) + ' ' + p.ljust(28) + str(lc).rjust(10) + str(clc).rjust(10) + str(fc).rjust(10)) print('-' * 80) print('Total'.ljust(46) + str(lctotal).rjust(10) + str(clctotal).rjust(10) + str(fctotal).rjust(10)) print('\n\nProof obligation transfer') print('\n'.join(RP.totals_to_presentation_string(ppoprojecttotals,spoprojecttotals,projectstats)))